2013, Article in monograph or in proceedings (Blazy, S. (ed.), Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings, pp. 463-468)
2011, Part of book or chapter of book (Halvorson, H. (ed.), Deep Beauty : understanding the quantum world through mathematical innovation, pp. 271-316)
2011, Part of book or chapter of book (Davenport, J.;Farmer, W.;Urban, J. [et al.] (ed.), Intelligent Computer Mathematics :18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, pp. 90-106)
2010, Part of book or chapter of book (Kaufmann, M. (ed.), Interactive Theorem Proving : first International Conference on Interactive Theorem Proving, ITP 2010; Edinburgh; 11 July 2010 through 14 July 2010; proceedings, pp. 490-493)
2010, Article in monograph or in proceedings (Coecke, B. (ed.), Proceedings of the 7th International QPL Workshop Quantum Physics and Logic, May 29-30, 2010, Oxford University, UK, pp. 161-168)
2008, Article in monograph or in proceedings (Fernandes, R.L.;Picken, R. (ed.), Geometry and physics : XVI International Fall Workshop, Lisbon (Portugal), 5–8 September 2007, pp. 93-102)
2005, Article in monograph or in proceedings (From sets and types to topology and analysis : towards practicable foundations for constructive mathematics, pp. 268-279)
2003, Part of book or chapter of book (Basin, D. (ed.), Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, pp. 205-220)