Andrzej Filinski
Lektor
ORCID: 0000-0002-9174-1861
1 - 1 ud af 1Pr. side: 10
- 2004
- Udgivet
A Denotational Account of Untyped Normalization by Evaluation
Filinski, Andrzej & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (red.). Springer, s. 167-181 (Lecture notes in computer science; Nr. 2987).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 9314