Lienar-Time Self-Interpretation of the Pure Lambda Calculus
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Lienar-Time Self-Interpretation of the Pure Lambda Calculus. / Mogensen, Torben Ægidius.
In: Higher-Order and Symbolic Computation, No. Vol.13 (3), 2000, p. 217-237.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Mogensen, TÆ 2000, 'Lienar-Time Self-Interpretation of the Pure Lambda Calculus', Higher-Order and Symbolic Computation, no. Vol.13 (3), pp. 217-237.
APA
Mogensen, T. Æ. (2000). Lienar-Time Self-Interpretation of the Pure Lambda Calculus. Higher-Order and Symbolic Computation, (Vol.13 (3)), 217-237.
Vancouver
Mogensen TÆ. Lienar-Time Self-Interpretation of the Pure Lambda Calculus. Higher-Order and Symbolic Computation. 2000;(Vol.13 (3)):217-237.
Author
Bibtex
@article{39e594f074c811dbbee902004c4f4f50,
title = "Lienar-Time Self-Interpretation of the Pure Lambda Calculus",
author = "Mogensen, {Torben {\AE}gidius}",
year = "2000",
language = "English",
pages = "217--237",
journal = "Higher-Order and Symbolic Computation",
issn = "1388-3690",
publisher = "Springer",
number = "Vol.13 (3)",
}
RIS
TY - JOUR
T1 - Lienar-Time Self-Interpretation of the Pure Lambda Calculus
AU - Mogensen, Torben Ægidius
PY - 2000
Y1 - 2000
M3 - Journal article
SP - 217
EP - 237
JO - Higher-Order and Symbolic Computation
JF - Higher-Order and Symbolic Computation
SN - 1388-3690
IS - Vol.13 (3)
ER -
ID: 180444