
Bassel Mannaa
(Former)
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Information Desk: 72185000
Research outputs (5)
- Published
The Clocks They Are Adjunctions: Denotational Semantics for Clocked Type Theory
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
What makes guarded types tick?
Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review
- Published
The Independence of Markov's Principle in Type Theory
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Recent activities and conferences
Loading map data...
ID: 81305546