Standard
Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755. / Mogensen, Torben Ægidius.
publisher. Springer, 2000. p. 128-142.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Mogensen, TÆ 2000, Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755. in publisher. Springer, pp. 128-142, Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755, 29/11/2010.
APA
Mogensen, T. Æ. (2000). Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755. In publisher (pp. 128-142). Springer.
Vancouver
Mogensen TÆ. Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755. In publisher. Springer. 2000. p. 128-142
Author
Mogensen, Torben Ægidius. / Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755. publisher. Springer, 2000. pp. 128-142
Bibtex
@inproceedings{ac106da0e65511deba73000ea68e967b,
title = "Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755",
author = "Mogensen, {Torben {\AE}gidius}",
year = "2000",
language = "English",
pages = "128--142",
booktitle = "publisher",
publisher = "Springer",
address = "Switzerland",
note = "Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755 ; Conference date: 29-11-2010",
}
RIS
TY - GEN
T1 - Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755
AU - Mogensen, Torben Ægidius
PY - 2000
Y1 - 2000
M3 - Article in proceedings
SP - 128
EP - 142
BT - publisher
PB - Springer
T2 - Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755
Y2 - 29 November 2010
ER -