Search for dissertations about: "Max Zeuner"
Found 1 swedish dissertation containing the words Max Zeuner.
-
1. Formalizing Univalent Set-Level Structures in Cubical Agda
Abstract : This licentiate thesis consists of two papers on formalization projects using Cubical Agda, a rather new extension of the Agda proof assistant with constructive support for univalence and higher inductive types. The common denominator of the two papers is that they are concerned with structures on types that are sets in the sense of Homotopy Type Theory or Univalent Foundations (HoTT/UF). READ MORE
Result pages:
1