Self-applicable Partial Evaluation for Pure Lambda Calculus

Originalsprog	Engelsk
Titel	publisher
Publikationsdato	1992
Sider	116-121
Status	Udgivet - 1992
Begivenhed	Self-applicable Partial Evaluation for Pure Lambda Calculus - Varighed: 29 nov. 2010 → …

Konference	Self-applicable Partial Evaluation for Pure Lambda Calculus
Periode	29/11/2010 → …

Citationsformater

@inproceedings{d1b3a1c0e65611deba73000ea68e967b,

title = "Self-applicable Partial Evaluation for Pure Lambda Calculus",

author = "Mogensen, {Torben {\AE}gidius}",

year = "1992",

language = "English",

pages = "116--121",

booktitle = "publisher",

note = "Self-applicable Partial Evaluation for Pure Lambda Calculus ; Conference date: 29-11-2010",

}