A Denotational Account of Untyped Normalization by Evaluation

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationFoundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004
EditorsIgor Walukiewicz
PublisherSpringer
Publication date2004
Pages167-181
ISBN (Print)3-540-21298-1
DOIs
Publication statusPublished - 2004
EventFoundations of Software Science and Computation Structures - Barcelona, Spain
Duration: 31 Mar 20042 Apr 2004
Conference number: 7

Conference

ConferenceFoundations of Software Science and Computation Structures
Nummer7
LandSpain
ByBarcelona
Periode31/03/200402/04/2004
SeriesLecture notes in computer science
Number2987
ISSN0302-9743

ID: 12867040