Andrzej Filinski
Associate Professor
ORCID: 0000-0002-9174-1861
1 - 1 out of 1Page size: 10
- 2005
- Published
Denotational Aspects of Untyped Normalization by Evaluation
Filinski, Andrzej & Rohde, H. K., 2005, In: Informatique théorique et applications (Imprimé). 39, 3, p. 423-453Research output: Contribution to journal › Journal article › Research › peer-review
ID: 9314