Sökning: "Max Zeuner"

Hittade 1 avhandling innehållade orden Max Zeuner.

  1. 1. Formalizing Univalent Set-Level Structures in Cubical Agda

    Författare :Max Zeuner; Anders Mörtberg; Martin Escardo; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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). LÄS MER