Abstract
NO ABSTRACT
| Original language | English |
|---|---|
| Title of host publication | Reasoning in simple type theory : Festschrift in honour of Peter B. Andrews on his 70th birthday |
| Editors | C. Benzmüller, C.E. Brown, J. Siekmann, R. Statman |
| Place of Publication | London |
| Publisher | College Publications |
| Pages | 271-302 |
| ISBN (Print) | 978-1-904987-70-3 |
| Publication status | Published - 2008 |
Publication series
| Name | Studies in Logic |
|---|---|
| Volume | 17 |
Cite this
Gabbay, M. J., & Mathijssen, A. H. J. (2008). The lambda-calculus is nominal algebraic. In C. Benzmüller, C. E. Brown, J. Siekmann, & R. Statman (Eds.), Reasoning in simple type theory : Festschrift in honour of Peter B. Andrews on his 70th birthday (pp. 271-302). (Studies in Logic; Vol. 17). College Publications.