The context cube lambda[]: Barendregt's lambda cube with contexts

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

Original language	English
Title of host publication	Workshop on 25 Years of Automath
Editors	F. Kamareddine
Publisher	Herriot-Watt University
Publication status	Published - 2002

BogVrij02

Persistent URL (handle)

@inproceedings{b744f325fd014865ba74ff8703883939,

title = "The context cube lambda[]: Barendregt's lambda cube with contexts",

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

note = "BogVrij02 ",

year = "2002",

language = "English",

editor = "F. Kamareddine",

booktitle = "Workshop on 25 Years of Automath",

publisher = "Herriot-Watt University",

}