D. Dijkgraaf, J. Martin, and E. Hyland, 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.

]. F. Lam07 and . Lamarche, Exploring the gap between linear and classical logic, Theory and Applications of Categories, vol.18, issue.17, pp.473-535, 2007.

F. Lamarche and N. Novakovic, Two Denotational Interpretations of Proofs in Classical Logic, pp.117-133, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00440875

F. Lamarche and L. Straßburger, Naming proofs in classical logic, TLCA Proceedings, pp.246-261, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00012294