Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755. / Mogensen, Torben Ægidius.
publisher. Springer, 2000. s. 128-142.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Mogensen, TÆ 2000, Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755. i publisher. Springer, s. 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. I publisher (s. 128-142). Springer.
Vancouver
Mogensen TÆ. Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755. I publisher. Springer. 2000. s. 128-142
Author
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 -
ID: 16239548