• A Cubical Implementation of Homotopical Patch Theory 

      Kløvstad, Åsmund Aqissiaq Arild (Master thesis, 2022-06-01)
      We consider theoretical models of version control systems based on Homotopy Type Theory (HoTT). The main contribution is an implementation of Angiuli et al.’s Homotopical Patch Theory in Cubical Agda. Additionally the first ...