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