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 Ø
There is no presentation filled.
ID: 255977523
Most downloads
-
25
downloads
A Generic Type System for Higher-Order Ψ-calculi
Research output: Contribution to journal › Conference article › Research › peer-review
Published -
20
downloads
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Research output: Contribution to journal › Conference article › Research › peer-review
Published