Hans Hüttel
Ekstern lektor, Lektor
Datalogisk Institut
Universitetsparken 1, 2100 København Ø
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
Der er ikke udfyldt nogen præsentation.
ID: 255977523
Flest downloads
-
23
downloads
A Generic Type System for Higher-Order Ψ-calculi
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
Udgivet -
18
downloads
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
Udgivet