| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Lectures on the Curry-Howard Isomorphism, Volume 149 | 978-0-444-52077-7 | 2006 | Morten Heine Sørensen | |
| Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, ... Notes in Computer Science , Band 4162) | 978-3-540-37791-7 | 2006 | Rastislav Královic | |
| Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings | 978-3-540-25593-2 | 2010 | ||
| Typed Lambda Calculi and Applications | 978-3-540-80995-1 | 2008 | ||