Browse
FAQ

Author

Yves Bertot

4 books found

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

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

Yves Bertot · First published 2017

Cover of From semantics to computer science

From semantics to computer science

Gilles Kahn, Yves Bertot · First published 2009

Cover of Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Yves Bertot · First published 2004

Cover of Theorem proving in higher order logics

Theorem proving in higher order logics

Yves Bertot, Gilles Dowek, Andre Hirschowitz · First published 1999