Hans Hüttel

Hans Hüttel

Ekstern lektor, Lektor


Udgivelsesår:
Alle
  1. 2022
  2. Udgivet

    A Generic Type System for Higher-Order Ψ-calculi

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

    Publikation: Bidrag til tidsskriftKonferenceartikelfagfællebedømt

  3. Udgivet

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

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

    Publikation: Bidrag til tidsskriftKonferenceartikelfagfællebedømt

ID: 255977523