| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Lambda Calculus with Types | 978-0-521-76614-2 | 2013 | Wil Dekkers · Richard Statman | |
| The Lambda Calculus. Its Syntax and Semantics | 978-1-84890-066-0 | 2012 | ||
| Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers | 978-3-540-58085-0 | 2008 | Tobias Nipkow | |
| Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers | 978-0-387-58085-2 | 1994 | ||
H B · Hannes Brandau · Hans Barendse · Hans Berends · Hans Berndt · Hans Bernitt · Hans Bernt · Hans Brändli · Hans Brand · Hans Brandenberger · Hans Brandenburg · Hans Brandenburger · Hans Brandl · Hans Brandner · Hans Brandt · Heinke Brantsch · Heinz Barentzen · Heinz Behrends · Heinz Bormuth · Heinz Brand · Heinz Brandenburg · Heinz Brandl · Heinz Brandsch · Heinz Brandt · Heinz Brendelberger · Heinz Brunthaler · Henk Brand · Hennessy Brendan
Cambridge University Press · College Publications · Springer