Computer Science - Masters by Research Theses

Computer Science - Masters by Research Theses

 

Recently added

  • Kidney, Donnacha Oisín (University College Cork, 2020-09)
    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.

View more

This website uses cookies. By using this website, you consent to the use of cookies in accordance with the UCC Privacy and Cookies Statement. For more information about cookies and how you can disable them, visit our Privacy and Cookies statement