Barendregt's Lemma

R.C. de Vrijer

Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review

Original language	Dutch
Title of host publication	Reflections on Type Theory, Lambda Calculus, and the Mind
Editors	Barendsen, Geuvers, Capretta, Niqui
Publisher	Radboud University Nijmegen
Pages	275-284
Publication status	Published - 2007

Vri:07

Persistent URL (handle)

@inbook{fc0d791f29534bda80aa3c1a1c8cfa39,

title = "Barendregt's Lemma",

author = "\{de Vrijer\}, R.C.",

note = "Vri:07",

year = "2007",

language = "Dutch",

pages = "275--284",

editor = "Barendsen and Geuvers and Capretta and Niqui",

booktitle = "Reflections on Type Theory, Lambda Calculus, and the Mind",

publisher = "Radboud University Nijmegen",

}