A Denotational Account of Untyped Normalization by Evaluation

Andrzej Filinski; Henning Korsholm Rohde

doi:10.1007/b95995

A Denotational Account of Untyped Normalization by Evaluation

Andrzej Filinski, Henning Korsholm Rohde

10 Citations (Scopus)

Original language	English
Title of host publication	Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004
Editors	Igor Walukiewicz
Publisher	Springer
Publication date	2004
Pages	167-181
ISBN (Print)	3-540-21298-1
DOIs	https://doi.org/10.1007/b95995
Publication status	Published - 2004
Event	Foundations of Software Science and Computation Structures - Barcelona, Spain Duration: 31 Mar 2004 → 2 Apr 2004 Conference number: 7

Conference

Conference	Foundations of Software Science and Computation Structures
Number	7
Country/Territory	Spain
City	Barcelona
Period	31/03/2004 → 02/04/2004

Series	Lecture notes in computer science
Number	2987
ISSN	0302-9743

Access to Document

10.1007/b95995

http://springerlink.metapress.com/content/3e68qk0qg3vry45r/fulltext.pdf

Cite this

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

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

@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 = "Foundations of Software Science and Computation Structures ; Conference date: 31-03-2004 Through 02-04-2004",

}

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

T2 - Foundations of Software Science and Computation Structures

Y2 - 31 March 2004 through 2 April 2004

ER -