Andrzej Filinski

Andrzej Filinski

Associate Professor

Member of:

    ORCID: 0000-0002-9174-1861

    Publication year:
    All
    1 - 1 out of 1Page size: 10
    1. 2001
    2. Published

      Normalization by Evaluation for the Computational Lambda-Calculus

      Filinski, Andrzej, 2001, Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. Abramsky, S. (ed.). Springer, p. 151-165 (Lecture notes in computer science; No. 2044).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    ID: 9314