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 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004
Redaktører	Igor Walukiewicz
Forlag	Springer
Publikationsdato	2004
Sider	167-181
ISBN (Trykt)	3-540-21298-1
DOI	https://doi.org/10.1007/b95995
Status	Udgivet - 2004
Begivenhed	Foundations of Software Science and Computation Structures - Barcelona, Spanien Varighed: 31 mar. 2004 → 2 apr. 2004 Konferencens nummer: 7

Konference

Konference	Foundations of Software Science and Computation Structures
Nummer	7
Land/Område	Spanien
By	Barcelona
Periode	31/03/2004 → 02/04/2004

Navn	Lecture notes in computer science
Nummer	2987
ISSN	0302-9743

Adgang til dokumentet

10.1007/b95995

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

Citationsformater

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/rapport › Konferencebidrag i proceedings › Forskning › peer review

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

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