Formalizing Univalent Set-Level Structures in Cubical Agda

Författare
Max Zeuner
Genre
Statlig publikation, theses
Språk
Engelska
Förlag År Ort Om boken ISBN
Department of Mathematics 2022 Sverige 86