ITU
ITU
Niccolò Veltri

Niccolò Veltri

Postdoc

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

Building: 4C15

Information Desk: 72185000

View graph of relations

Research outputs (4)

  1. Published

    The Sequent Calculus of Skew Monoidal Categories

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

  2. Published

    Partiality and Container Monads

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

  3. Quotienting the delay monad by weak bisimilarity

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

View all (4) »

ID: 82129212