Andrzej Filinski

Andrzej Filinski

Associate Professor

Member of:

    ORCID: 0000-0002-9174-1861

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

      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. (ed.). Springer, p. 167-181 (Lecture notes in computer science; No. 2987).

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

    ID: 9314