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

Mogensen, Torben Ægidius. / Lienar-Time Self-Interpretation of the Pure Lambda Calculus. In: Higher-Order and Symbolic Computation. 2000 ; No. Vol.13 (3). pp. 217-237.

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