Philippe Audebaud

Publication Activity (10 Years)

Years Active: 1991-2011
Publications (10 Years): 0

Publications

Philippe Audebaud, Christine Paulin-Mohring
Preface. Sci. Comput. Program. 76 (3) (2011)
Philippe Audebaud, Christine Paulin-Mohring
Proofs of randomized algorithms in Coq. Sci. Comput. Program. 74 (8) (2009)
Philippe Audebaud, Christine Paulin-Mohring
Proofs of Randomized Algorithms in Coq. MPC (2006)
Philippe Audebaud, Laurence Rideau
TEXmacs as Authoring Tool for Formal Developments. Electron. Notes Theor. Comput. Sci. 103 (2004)
Philippe Audebaud, Elena Zucca
Deriving Proof Rules from Continuation Semantics. Formal Aspects Comput. 11 (4) (1999)
Philippe Audebaud
Partial Objects in the Calculus of Constructions LICS (1991)