Finiteness in cubical type theory

Files in this item

Unlocked
Name: masters-thesis.pdf
Size: 764.1Kb
Format: PDF
Description: Full Text E-thesis
Access: This thesis is available for viewing and download
View/Open

Finiteness in cubical type theory

Kidney, Donnacha Oisín
Date: 2020-09
Copyright: © 2020, Donnacha Oisín Kidney.
Copyright information: https://creativecommons.org/licenses/by-sa/4.0/
Citation: Kidney, D. O. 2020. Finiteness in cubical type theory MRes Thesis, University College Cork.
Supervisor(s): Provan, Gregory

Abstract:

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.

Show full item record

This item appears in the following Collection(s)

© 2020, Donnacha Oisín Kidney. Except where otherwise noted, this item's license is described as © 2020, Donnacha Oisín Kidney.
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