Pages that link to "Martin Hyland"
Jump to navigation
Jump to search
The following pages link to Martin Hyland:
Displaying 10 items.
- Groupoid (links)
- Constructivism (philosophy of mathematics) (links)
- Game semantics (links)
- Categorical logic (links)
- Hyland (links)
- Logics for computability (links)
- Robin Gandy (links)
- Faculty of Mathematics, University of Cambridge (links)
- J. M. E. Hyland (redirect page) (links)
- Wiki143:WikiProject Mathematics/List of mathematicians (H) (links)