Yves Bertot

No bio available. Add one in Open Library.

Books by Yves Bertot (50 max)

+ shelf+ list

From Semantics to Computer Science Essays in Honour of Gilles Kahn

2009

Gilles Kahn, Yves Bertot

+ shelf+ list

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)

1999

Yves Bertot, Gilles Dowek, Andre Hirschowitz

+ shelf+ list

Interactive theorem proving and program development: Coq'Art : the calculus of inductive constructions

2004

Yves Bertot

+ shelf+ list

Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions

2004

Yves Bertot

+ shelf+ list

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

2017

Yves Bertot