Fingerprint
Dive into the research topics of 'Cubical agda: a dependently typed programming language with univalence and higher inductive types'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Cubical agda: a dependently typed programming language with univalence and higher inductive types
Andrea Vezzosi, Anders Mörtberg, Andreas Abel
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review