-
Compact Proof Certificates for Linear Logic
International audience -
Towards a Theory of Proofs of Classical Logic
The questions <EM>"What is a proof?"</EM> and <EM>"When are two proofs the same?"</EM> are fundamental for proof theory. But for the most... -
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:... -
Subformula Linking as an Interaction Method
International audience
