Philippe Audebaud

According to our database, Philippe Audebaud authored at least 5 papers between 1991 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Preface.

Philippe Audebaud, Christine Paulin-Mohring

Sci. Comput. Program., 2011

2009

Proofs of randomized algorithms in Coq.

Philippe Audebaud, Christine Paulin-Mohring

Sci. Comput. Program., 2009

2003

TEXmacs as Authoring Tool for Formal Developments.

Philippe Audebaud, Laurence Rideau

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

1999

Deriving Proof Rules from Continuation Semantics.

Philippe Audebaud, Elena Zucca

Formal Aspects Comput., 1999

1991

Partial Objects in the Calculus of Constructions

Philippe Audebaud

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991