Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus. / Mogensen, Torben Ægidius.
publisher. Association for Computing Machinery, 1995. p. 39-44.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Mogensen, TÆ 1995, Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus. in publisher. Association for Computing Machinery, pp. 39-44, Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus, 29/11/2010.
APA
Mogensen, T. Æ. (1995). Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus. In publisher (pp. 39-44). Association for Computing Machinery.
Vancouver
Mogensen TÆ. Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus. In publisher. Association for Computing Machinery. 1995. p. 39-44
Author
Bibtex
@inproceedings{703aef20e65611deba73000ea68e967b,
title = "Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus",
author = "Mogensen, {Torben {\AE}gidius}",
year = "1995",
language = "English",
pages = "39--44",
booktitle = "publisher",
publisher = "Association for Computing Machinery",
note = "Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus ; Conference date: 29-11-2010",
}
RIS
TY - GEN
T1 - Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
AU - Mogensen, Torben Ægidius
PY - 1995
Y1 - 1995
M3 - Article in proceedings
SP - 39
EP - 44
BT - publisher
PB - Association for Computing Machinery
T2 - Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
Y2 - 29 November 2010
ER -
ID: 16239639