Andrzej Filinski
Lektor
ORCID: 0000-0002-9174-1861
- Udgivet
Normalization by Evaluation for the Computational Lambda-Calculus
Filinski, Andrzej, 2001, Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. Abramsky, S. (red.). Springer, s. 151-165 (Lecture notes in computer science; Nr. 2044).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 9314