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

Andrea Vezzosi, Anders Mörtberg, Andreas Abel

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

1 resultater
- Titel(faldende)
- Bevillings dato

ICFP'19 Distinguished Paper Award
Vezzosi, A. (Modtager), aug. 2019
Pris: Priser, stipendier, udnævnelser