Skip to main navigation
Skip to search
Skip to main content
Research portal Eindhoven University of Technology Home
Help & FAQ
Link opens in a new tab
English
Nederlands
Search content at Research portal Eindhoven University of Technology
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facility/Lab/Equipment
Datasets
Courses
Research areas
Student theses
The Eudoxus reals constructed in homotopy type theory
S.J. (Anna) Fokma
Mathematics and Computer Science
Student thesis
:
Master
Date of Award
31 Mar 2021
Original language
English
Supervisor
Jim W. Portegies
(Supervisor 1)
Cite this
Standard
The Eudoxus reals constructed in homotopy type theory
Fokma, S. J. (Author).
31 Mar 2021
Student thesis
:
Master
Documents
Fokma, A.
File
:
application/pdf, 788 KB
Type
:
Thesis