The B-Book, Assigning Programs to Meanings, 1996. ,
The ??-Calculus Modulo as a Universal Proof Language, Proof Exchange for Theorem Proving (PxTP), pp.28-43, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00917845
TaMeD: A Tableau Method for Deduction Modulo, International Joint Conference on Automated Reasoning (IJCAR), pp.445-459, 2004. ,
DOI : 10.1007/978-3-540-25984-8_33
Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs, In Logic for Programming Artificial Intelligence and Reasoning LNCS/LNAI, vol.4790, pp.151-165, 2007. ,
DOI : 10.1007/978-3-540-75560-9_13
URL : https://hal.archives-ouvertes.fr/inria-00315920
Principles of Superdeduction, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), pp.41-50, 2007. ,
DOI : 10.1109/LICS.2007.37
URL : https://hal.archives-ouvertes.fr/inria-00133557
Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo, Logical Methods in Computer Science, vol.7, issue.1, pp.1-31, 2011. ,
DOI : 10.2168/LMCS-7(1:3)2011
URL : https://hal.archives-ouvertes.fr/inria-00278186
Experimenting with Deduction Modulo, Conference on Automated Deduction, pp.162-176, 2011. ,
DOI : 10.1007/978-3-642-02959-2_10
URL : https://hal.archives-ouvertes.fr/hal-01125858
Theorem Proving Modulo, Journal of Automated Reasoning, vol.31, issue.1, pp.33-72, 2003. ,
DOI : 10.1023/A:1027357912519
URL : https://hal.archives-ouvertes.fr/hal-01199506
Tableaux Modulo Theories Using Superdeduction, International Joint Conference on Automated Reasoning (IJCAR), pp.332-338, 2012. ,
DOI : 10.1007/978-3-642-31365-3_26
URL : https://hal.archives-ouvertes.fr/hal-01099338
Natural Deduction. A Proof-Theoretical Study, Stockholm Studies in Philosophy, vol.3, 1965. ,
The TPTP Problem Library and Associated Infrastructure, Journal of Automated Reasoning, vol.13, issue.2, pp.337-362, 2009. ,
DOI : 10.1007/s10817-009-9143-8
Basic Proof Theory, 1996. ,
DOI : 10.1017/CBO9781139168717
Constructivism in Mathematics: An Introduction, 1988. ,