The Eudoxus reals constructed in homotopy type theory

  • S.J. (Anna) Fokma

Student thesis: Master

Date of Award31 Mar 2021
Original languageEnglish
SupervisorJim W. Portegies (Supervisor 1)

Cite this

Documents

  • Fokma, A.

    File: application/pdf, 788 KB

    Type: Thesis

'