Hans Hüttel
Part-time lecturer, Associate Professor
Department of Computer Science
Universitetsparken 1, 2100 København Ø
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
1 - 3 out of 3Page size: 10
- 2024
- 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
- 2022
- 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
- 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-66Research output: Contribution to journal › Conference article › Research › peer-review
ID: 255977523
Most downloads
-
23
downloads
A Generic Type System for Higher-Order Ψ-calculi
Research output: Contribution to journal › Conference article › Research › peer-review
Published -
18
downloads
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Research output: Contribution to journal › Conference article › Research › peer-review
Published