ITU
ITU
Bassel Mannaa

Bassel Mannaa

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

Research outputs (5)

  1. Published

    The Clocks They Are Adjunctions: Denotational Semantics for Clocked Type Theory

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  2. Published

    What makes guarded types tick?

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

  3. Published

    The Independence of Markov's Principle in Type Theory

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

View all (5) »

Recent activities and conferences

ID: 81305546