1990, Article in monograph or in proceedings (N.D. Jones (ed.), ESOP'90 : proceedings of the 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, pp. 1-35)
1996, Article in monograph or in proceedings (S. Berardi; M. Coppo (eds.), Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers, pp. 16-35)
1987, Part of book or chapter of book (Bakker, J.W.; Nijman, A.J.; Treleaven, P.C. (ed.), PARLE Parallel Architectures and Languages Europe, pp. 159-175)
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)
1979, Part of book or chapter of book (Gérard, R.; Ramis, J.-P. (ed.), Equations Différentielles et Systèmes de Pfaff dans le Champ Complexe, pp. 33-43)
1987, Article in monograph or in proceedings (J.W. de Bakker (eds.), Parallel architectures and languages Europe : Eindhoven, the Netherlands, June 15 - 19, 1987, proceedings, pp. 141-158)
2007, Article in monograph or in proceedings (Geuvers, H.; Courtieu, P. (ed.), PATE'07, International Workshop on Proof Assistants and Types in Education, pp. 37-50)
2007, Part of book or chapter of book (E., Barendsen; Capretta, V.; Geuvers, H. (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind: Essays dedicated to Henk Barendregt on the occasion of his 60th birthday, pp. 29-40)
2011, Article in monograph or in proceedings (Hirschowitz, T. (ed.), Proceedings Types for Proofs and Programs, Revised Selected Papers Aussois, France, 12-15th May 2009, pp. 47-61)
1977, Article in monograph or in proceedings (M. Guillaume (ed.), Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975, pp. 209-219)
2011, Article in monograph or in proceedings (Proceedings of the Eleventh SIAM International Conference on Data Mining, Mesa, Arizona, April 28 - 30, 2011, pp. 795-803)
1999, Part of book or chapter of book (Flum, J.; Rodriguez Artalejo, M. (ed.), 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 439-452)
2004, Article in monograph or in proceedings (Oostrom, Vincent van (ed.), 15th Internat. Conference on Rewriting Techniques and Applications, RTA 2004, Aachen,, pp. 134-154)
2005, Article in monograph or in proceedings (Aceto, Luca; Gordon, Andrew D. (ed.), Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro, Forlı, Italy, August 1–5, 2005, pp. 118-125)
2010, Part of book or chapter of book (Autexier, S. (ed.), Intelligent Computer Mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings, pp. 440-454)