Partial Objects in the Calculus of Constructions - Philippe Audebaud (LICS, 1991)

Deriving Proof Rules from Continuation Semantics. - Philippe Audebaud; Elena Zucca (Formal Aspects Comput., 1999)

TEXmacs as Authoring Tool for Formal Developments. - Philippe Audebaud; Laurence Rideau (UITP@TPHOLs, 2003)

Proofs of randomized algorithms in Coq. - Philippe Audebaud; Christine Paulin-Mohring (Sci. Comput. Program., 2009)

Preface. - Philippe Audebaud; Christine Paulin-Mohring (Sci. Comput. Program., 2011)