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

Originalsprog	Engelsk
Titel	publisher
Forlag	Springer
Publikationsdato	2000
Sider	128-142
Status	Udgivet - 2000
Begivenhed	Linear-time self-interpretation of the pure lambda calculus, Lecture Notes in Computer Science, Vol.1755 - Varighed: 29 nov. 2010 → …

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

Citationsformater

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