Hans Hüttel

Hans Hüttel

Part-time lecturer, External Lecturer

Member of:


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

      A Generic Type System for Higher-Order Ψ-calculi

      Bendixen, A. R., Bojesen, B. B., Hüttel, Hans & Lybech, S., 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 368, p. 43-59 17 p.

      Research output: Contribution to journal › Conference article › Research › peer-review

    3. Published

      A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages

      Saioc, G. V. & Hüttel, Hans, 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 369, p. 51-66

      Research output: Contribution to journal › Conference article › Research › peer-review

    ID: 255977523