Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers Geuvers Herman Heftet / 2003 / Engelsk
Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings Wiedijk Freek Heftet / 2003 / Engelsk
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday Capretta, Venanzio Heftet / 2024 / Engelsk
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings Van Eekelen, Marko Heftet / 2011 / Engelsk
Intelligent Computer Mathematics 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings Autexier Serge Heftet / 2008 / Engelsk
