Author
Yves Bertot
Works
From Semantics to Computer Science
Gilles Kahn
From Semantics to Computer Science
Theorem Proving in Higher Order Logics
Yves Bertot
Theorem Proving in Higher Order Logics
Interactive theorem proving and program development
Yves Bertot
Interactive theorem proving and program development
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Yves Bertot
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Interactive Theorem Proving and Program Development
Yves Bertot
Interactive Theorem Proving and Program Development