A Denotational Account of Untyped Normalization by Evaluation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
| 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 | |
| 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 |
|---|---|
| Nummer | 7 |
| Land | Spain |
| By | Barcelona |
| Periode | 31/03/2004 → 02/04/2004 |
| Series | Lecture notes in computer science |
|---|---|
| Number | 2987 |
| ISSN | 0302-9743 |
ID: 12867040