Andrea Vezzosi

Andrea Vezzosi


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

Information Desk: 72185000

View graph of relations

Research outputs (2)

  1. Published

    Formalizing 휋-calculus in guarded cubical Agda

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

  2. Published

    Cubical agda: a dependently typed programming language with univalence and higher inductive types

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

Prizes (1)

  1. ICFP'19 Distinguished Paper Award

    Prize: Prizes, scholarships, distinctions

ID: 83795328