Cambridge University Press · Springer
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Basic Simple Type Theory | Paperback | 978-0-521-05422-5 | 2008 | ||
| Basic Simple Type Theory | Hardcover | 978-0-521-46518-2 | 1997 | ||
| Lambda-Calculus and Combinators: An Introduction | " | 978-0-521-89885-0 | 2008 | Jonathan P. Seldin | |
| Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, ... Notes in Computer Science , Band 1210) | Taschenbuch | 978-3-540-62688-6 | 2008 | Philippe de Groote | |
J. H. · J R · J. R. Hindley · J. Roger · R. H. · Roger H.