ITU
Niccolò Veltri

Niccolò Veltri

(Former)

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

Information Desk: 72185000

View graph of relations

Research outputs (7)

  1. Published

    Formalizing 휋-calculus in guarded cubical Agda

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

  2. Published

    Bisimulation as path type for guarded recursive types

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

  3. Published

    Guarded recursion in Agda via sized types

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

View all (7) »

ID: 82129212