Y
Yves Bertot
4 works on record
Works

Theorem proving in higher order logics

Interactive Theorem Proving and Program Development
From semantics to computer science
From semantics to computer science
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs