A geometric approach to two dimensional conformal field theory Orderenriched categorical models of the classical sequent calculus Abstract interpretation of proofs: Classical propositional calculus, Computer Science Logic, pp.21-68, 1989. ,
Exploring the gap between linear and classical logic, Theory and Applications of Categories, vol.18, issue.17, pp.473-535, 2007. ,
Two Denotational Interpretations of Proofs in Classical Logic, pp.117-133, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00440875
Naming proofs in classical logic, TLCA Proceedings, pp.246-261, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00012294