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. ed. / Igor Walukiewicz. Springer, 2004. p. 167-181 (Lecture notes in computer science; No. 2987).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Filinski, A & Rohde, HK 2004,
A Denotational Account of Untyped Normalization by Evaluation. in I Walukiewicz (ed.),
Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Springer, Lecture notes in computer science, no. 2987, pp. 167-181, Foundations of Software Science and Computation Structures, Barcelona, Spain,
31/03/2004.
https://doi.org/10.1007/b95995
APA
Filinski, A., & Rohde, H. K. (2004).
A Denotational Account of Untyped Normalization by Evaluation. In I. Walukiewicz (Ed.),
Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004 (pp. 167-181). Springer. Lecture notes in computer science No. 2987
https://doi.org/10.1007/b95995
Vancouver
Filinski A, Rohde HK.
A Denotational Account of Untyped Normalization by Evaluation. In Walukiewicz I, editor, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Springer. 2004. p. 167-181. (Lecture notes in computer science; No. 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. editor / Igor Walukiewicz. Springer, 2004. pp. 167-181 (Lecture notes in computer science; No. 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",
address = "Switzerland",
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 -