From Semantics to Computer Science Essays in Honour of Gilles Kahn Bertot Yves Innbundet / 2009 / Engelsk
Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings Bertot Yves Heftet / 1999 / Engelsk
Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions Bertot Yves Heftet / 2010 / Engelsk
Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions Bertot Yves Innbundet / 2004 / Engelsk
