Self-applicable Partial Evaluation for Pure Lambda Calculus
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Self-applicable Partial Evaluation for Pure Lambda Calculus. / Mogensen, Torben Ægidius.
publisher. 1992. p. 116-121.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Mogensen, TÆ 1992, Self-applicable Partial Evaluation for Pure Lambda Calculus. in publisher. pp. 116-121, Self-applicable Partial Evaluation for Pure Lambda Calculus, 29/11/2010.
APA
Mogensen, T. Æ. (1992). Self-applicable Partial Evaluation for Pure Lambda Calculus. In publisher (pp. 116-121)
Vancouver
Mogensen TÆ. Self-applicable Partial Evaluation for Pure Lambda Calculus. In publisher. 1992. p. 116-121
Author
Bibtex
@inproceedings{d1b3a1c0e65611deba73000ea68e967b,
title = "Self-applicable Partial Evaluation for Pure Lambda Calculus",
author = "Mogensen, {Torben {\AE}gidius}",
year = "1992",
language = "English",
pages = "116--121",
booktitle = "publisher",
note = "Self-applicable Partial Evaluation for Pure Lambda Calculus ; Conference date: 29-11-2010",
}
RIS
TY - GEN
T1 - Self-applicable Partial Evaluation for Pure Lambda Calculus
AU - Mogensen, Torben Ægidius
PY - 1992
Y1 - 1992
M3 - Article in proceedings
SP - 116
EP - 121
BT - publisher
T2 - Self-applicable Partial Evaluation for Pure Lambda Calculus
Y2 - 29 November 2010
ER -
ID: 16239706