Philippe Audebaud

Deriving Proof Rules from Continuation Semantics

Elena Zucca, Philippe Audebaud, E. Zucca, 1999, Formal Aspects of Computing.

New Results - Tools for proof environments

Stephen M. Watt, Loïc Pottier, Yves Bertot, 2003 .

Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

Christine Paulin-Mohring, Philippe Audebaud, 2008, MPC.

TEXmacs as Authoring Tool for Formal Developments

Laurence Rideau, Philippe Audebaud, 2004, Electron. Notes Theor. Comput. Sci..

Proofs of randomized algorithms in Coq

Christine Paulin-Mohring, Philippe Audebaud, Philippe Audebaud, 2006, Sci. Comput. Program..

Proofs of randomized algorithms in Coq

Christine Paulin-Mohring, Philippe Audebaud, C. Paulin-Mohring, 2006, Sci. Comput. Program..

Mathematics of Program Construction

Christine Paulin-Mohring, Philippe Audebaud, 1998, Lecture Notes in Computer Science.

Partial objects in the calculus of constructions

Philippe Audebaud, Philippe Audebaud, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

Proceedings of the 9th international conference on Mathematics of Program Construction

Christine Paulin-Mohring, Philippe Audebaud, 2008 .