Andrea Vezzosi

Andrea Vezzosi


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

Building: 4C15

Information Desk: 72185000

View graph of relations

Research outputs (1)

  1. 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

Recent activities and conferences

ID: 83795328