-
A Proof-Theoretic Foundation of Abortive Continuations
International audience -
Antirealism, Strict Finitism and Structural Rules
According to semantic antirealism, intuitionistic logic satisfies the requirement that truth should be constrained by provability in principle. Some philosophers have... -
Nested Deduction in Logical Foundations for Computation
This thesis investigates the use of deep inference formalisms as basis for a computational interpretation of proof systems, following the two main approaches:... -
an intuitionistic lambda calculus with exceptions
We introduce a typed lambda-calculus which allows the use of exceptions in the ML style. It is an extension of the system AF2 of Krivine & Leivant (Krivine, 1990;... -
Formulae-as-Resources Management for an Intuitionistic Theorem Prover
Colloque avec actes et comité de lecture. -
Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic...
Colloque avec actes et comité de lecture. -
Labelled Proof Systems for Intuitionistic Provability
Contribution à un ouvrage. -
STRIP: Structural sharing and intuitionistic proof-search
Rapport interne.
