Multi-Level Lambda-Calculi: an Algebraic Description

Flemming Nielson, Hanne Riis Nielson

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

Original language	English
Title of host publication	Partial Evaluation
Publisher	Springer Verlag
Publication date	1996
Pages	338-354
Publication status	Published - 1996
Event	Partial Evaluation - Duration: 1 Jan 1996 → …

Conference	Partial Evaluation
Period	01/01/1996 → …

OpenUrl availability

@inproceedings{c1e56f71257849a0b5ecc688b2682b87,

title = "Multi-Level Lambda-Calculi: an Algebraic Description",

author = "Flemming Nielson and Nielson, {Hanne Riis}",

year = "1996",

language = "English",

pages = "338--354",

booktitle = "Partial Evaluation",

publisher = "Springer Verlag",

address = "Germany",

note = "Partial Evaluation ; Conference date: 01-01-1996",

}