Hans Hüttel

Hans Hüttel

Ekstern lektor

Medlem af:


    Udgivelsesår:
    Alle
    1 - 2 ud af 2Pr. side: 10
    Sortering: Udgivelsesdato
    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 tidsskrift › Konferenceartikel › fagfæ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 tidsskrift › Konferenceartikel › fagfællebedømt

    ID: 255977523