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

M. Bognar, R.C. de Vrijer

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationWorkshop on 25 Years of Automath
EditorsF. Kamareddine
PublisherHerriot-Watt University
Publication statusPublished - 2002

Bibliographical note

BogVrij02

Cite this