Andrzej Filinski
Lektor
ORCID: 0000-0002-9174-1861
1 - 1 ud af 1Pr. side: 500
- Udgivet
Denotational Aspects of Untyped Normalization by Evaluation
Filinski, Andrzej & Rohde, H. K., 2005, I: Informatique théorique et applications (Imprimé). 39, 3, s. 423-453Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
ID: 9314