Barendregt's Lemma

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Original languageDutch
Title of host publicationReflections on Type Theory, Lambda Calculus, and the Mind
Editors Barendsen, Geuvers, Capretta, Niqui
PublisherRadboud University Nijmegen
Pages275-284
Publication statusPublished - 2007

Bibliographical note

Vri:07

Cite this