Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755

Original language	English
Title of host publication	publisher
Publisher	Springer
Publication date	2000
Pages	128-142
Publication status	Published - 2000
Event	Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755 - Duration: 29 Nov 2010 → …

Conference	Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755
Period	29/11/2010 → …

Cite this

@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",

note = "Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755 ; Conference date: 29-11-2010",

}

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 -