Andrzej Filinski

Andrzej Filinski

Lektor

Medlem af:


    1. 2007
    2. Udgivet

      On the relations between monadic semantics

      Filinski, Andrzej, 2007, I: Theoretical Computer Science. 375, 1-3, s. 41-75

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    3. 2005
    4. 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-453

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    5. 2004
    6. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    7. 2002
    8. 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/rapportBidrag til bog/antologiUndervisning

    9. 2001
    10. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    Forrige 1 2 Næste

    ID: 9314