Self-applicable Partial Evaluation for Pure Lambda Calculus

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Standard

Self-applicable Partial Evaluation for Pure Lambda Calculus. / Mogensen, Torben Ægidius.

publisher. 1992. s. 116-121.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Harvard

Mogensen, TÆ 1992, Self-applicable Partial Evaluation for Pure Lambda Calculus. i publisher. s. 116-121, Self-applicable Partial Evaluation for Pure Lambda Calculus, 29/11/2010.

APA

Mogensen, T. Æ. (1992). Self-applicable Partial Evaluation for Pure Lambda Calculus. I publisher (s. 116-121)

Vancouver

Mogensen TÆ. Self-applicable Partial Evaluation for Pure Lambda Calculus. I publisher. 1992. s. 116-121

Author

Mogensen, Torben Ægidius. / Self-applicable Partial Evaluation for Pure Lambda Calculus. publisher. 1992. s. 116-121

Bibtex

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

}

RIS

TY - GEN

T1 - Self-applicable Partial Evaluation for Pure Lambda Calculus

AU - Mogensen, Torben Ægidius

PY - 1992

Y1 - 1992

M3 - Article in proceedings

SP - 116

EP - 121

BT - publisher

T2 - Self-applicable Partial Evaluation for Pure Lambda Calculus

Y2 - 29 November 2010

ER -

ID: 16239706