Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A generic type system for higher-order Ψ-calculi
Hüttel, H., 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
Open AccessFile3 Downloads (Pure) -
A Generic Type System for Higher-Order Ψ-calculi
Bendixen, A. R., Bojesen, B. B., Hüttel, H. & 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
Open AccessFile3 Citations (Scopus)25 Downloads (Pure) -
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Saioc, G. V. & Hüttel, H., 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 369, p. 51-66Research output: Contribution to journal › Conference article › Research › peer-review
Open AccessFile20 Downloads (Pure)