Forskning ved Københavns Universitet - Københavns Universitet

Forside

A Denotational Account of Untyped Normalization by Evaluation

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

Standard

A Denotational Account of Untyped Normalization by Evaluation. / Filinski, Andrzej; Rohde, Henning Korsholm.

Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. red. / Igor Walukiewicz. Springer, 2004. s. 167-181 (Lecture notes in computer science; Nr. 2987).

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

Harvard

Filinski, A & Rohde, HK 2004, A Denotational Account of Untyped Normalization by Evaluation. i I Walukiewicz (red.), Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Springer, Lecture notes in computer science, nr. 2987, s. 167-181, Foundations of Software Science and Computation Structures, Barcelona, Spanien, 31/03/2004. https://doi.org/10.1007/b95995

APA

Filinski, A., & Rohde, H. K. (2004). A Denotational Account of Untyped Normalization by Evaluation. I I. Walukiewicz (red.), Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004 (s. 167-181). Springer. Lecture notes in computer science, Nr. 2987 https://doi.org/10.1007/b95995

Vancouver

Filinski A, Rohde HK. A Denotational Account of Untyped Normalization by Evaluation. I Walukiewicz I, red., Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Springer. 2004. s. 167-181. (Lecture notes in computer science; Nr. 2987). https://doi.org/10.1007/b95995

Author

Filinski, Andrzej ; Rohde, Henning Korsholm. / A Denotational Account of Untyped Normalization by Evaluation. Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. red. / Igor Walukiewicz. Springer, 2004. s. 167-181 (Lecture notes in computer science; Nr. 2987).

Bibtex

@inproceedings{b173be90641f11de8bc9000ea68e967b,
title = "A Denotational Account of Untyped Normalization by Evaluation",
author = "Andrzej Filinski and Rohde, {Henning Korsholm}",
year = "2004",
doi = "10.1007/b95995",
language = "English",
isbn = "3-540-21298-1",
series = "Lecture notes in computer science",
publisher = "Springer",
number = "2987",
pages = "167--181",
editor = "Igor Walukiewicz",
booktitle = "Foundations of Software Science and Computation Structures",
note = "null ; Conference date: 31-03-2004 Through 02-04-2004",

}

RIS

TY - GEN

T1 - A Denotational Account of Untyped Normalization by Evaluation

AU - Filinski, Andrzej

AU - Rohde, Henning Korsholm

N1 - Conference code: 7

PY - 2004

Y1 - 2004

U2 - 10.1007/b95995

DO - 10.1007/b95995

M3 - Article in proceedings

SN - 3-540-21298-1

T3 - Lecture notes in computer science

SP - 167

EP - 181

BT - Foundations of Software Science and Computation Structures

A2 - Walukiewicz, Igor

PB - Springer

Y2 - 31 March 2004 through 2 April 2004

ER -

ID: 12867040