Andrzej Filinski
Lektor
ORCID: 0000-0002-9174-1861
11 - 15 ud af 15Pr. side: 10
- 2007
- Udgivet
On the relations between monadic semantics
Filinski, Andrzej, 2007, I: Theoretical Computer Science. 375, 1-3, s. 41-75Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2005
- 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
- 2004
- Udgivet
A Denotational Account of Untyped Normalization by Evaluation
Filinski, Andrzej & Rohde, H. K., 2004, Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004. Walukiewicz, I. (red.). Springer, s. 167-181 (Lecture notes in computer science; Nr. 2987).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2002
- Udgivet
Normalization and Partial Evaluation
Dybjer, P. & Filinski, Andrzej, 2002, Applied Semantics: Advanced Lectures. Berlin: Springer, s. 137-192 (Lecture notes in computer science; Nr. 2395).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Undervisning
- 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