Reflections on type theory, lambda-calculus, and the mind : essays dedicated to Henk Barendregt on the occasion of his 60th birthday

E. Barendsen (Editor), V. Capretta (Editor), J.H. Geuvers (Editor), M. Niqui (Editor)

Research output: Book/ReportBook editingAcademic

Original languageEnglish
Place of Publications.l.
Publishers.n.
ISBN (Print)978-90-9022446-6
Publication statusPublished - 2007

Cite this