Computer Science - Masters by Research Theses

Permanent URI for this collection

http://hdl.handle.net/10468/11339

Browse

Recent Submissions

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Finiteness in cubical type theory
    (University College Cork, 2020-09) Kidney, Donnacha Oisín; Provan, Gregory; Wu, Nicolas; Science Foundation Ireland
    This thesis will explore and explain finiteness in constructive mathematics: using this setting, it will also serve as an introduction to constructive mathematics in Cubical Agda, and some related topics.