The context calculus lambda-c.

M. Bognar, R.C. de Vrijer

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

Original languageEnglish
Title of host publicationWorkshop on Logical Frameworks and Meta-languages, Paris, France, 28 September 1999.
Publication statusPublished - 1999

Cite this