Fingeraftryk
Dyk ned i forskningsemnerne om 'Cubical agda: a dependently typed programming language with univalence and higher inductive types'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
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