Blar i Bergen Open Research Archive på forfatter "Kløvstad, Åsmund Aqissiaq Arild"
-
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 ...