Andrzej Filinski
Lektor
ORCID: 0000-0002-9174-1861
1 - 1 ud af 1Pr. side: 500
- 2001
- 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