Hans Hüttel

Hans Hüttel

Part-time lecturer, Associate Professor


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

    A generic type system for higher-order Ψ-calculi

    Hüttel, Hans, Lybech, S., Bendixen, A. R. & Bojesen, B. B., 2024, In: Information and Computation. 300, 105190.

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

  3. 2022
  4. 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

  5. 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