A Denotational Account of Untyped Normalization by Evaluation
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
| 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 | |
| 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 | Spanien |
| By | Barcelona |
| Periode | 31/03/2004 → 02/04/2004 |
| Navn | Lecture notes in computer science |
|---|---|
| Nummer | 2987 |
| ISSN | 0302-9743 |
ID: 12867040