| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday | 978-3-319-30935-4 (3-319-30935-8) | 2016 | Sam Lindley · Phil Trinder · Don Sannella |
| Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 Revised Selected Papers | 978-3-540-74463-4 (3-540-74463-0) | 2007 | Thorsten Altenkirch |