Pages that link to "Martin Hyland"
Showing 29 items.
- Groupoid (links | edit)
- Constructivism (philosophy of mathematics) (links | edit)
- Game semantics (links | edit)
- Categorical logic (links | edit)
- Hyland (links | edit)
- Logics for computability (links | edit)
- Robin Gandy (links | edit)
- Faculty of Mathematics, University of Cambridge (links | edit)
- Martin Hyland (transclusion) (links | edit)
- J. M. E. Hyland (redirect page) (links | edit)
- Dialectica space (links | edit)
- Lawvere theory (links | edit)
- J.M.E. Hyland (redirect page) (links | edit)
- Colin McLarty (links | edit)
- Effective topos (links | edit)
- Valeria de Paiva (links | edit)
- Eugenia Cheng (links | edit)
- ACM SIGLOG (links | edit)
- Arnon Avron (links | edit)
- Hyland, Martin (redirect page) (links | edit)
- British Logic Colloquium (links | edit)
- Talk:Martin Hyland (transclusion) (links | edit)
- User:Kingbotk/Logs/280307 Living people 1 (links | edit)
- User:Mathbot/Mathematicians missing photo (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:Tony Sidaway/Living people/tranche 040 (links | edit)
- User:Qwerfjkl/preservedCategories/Category:Cambridge mathematicians (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematicians (H) (links | edit)
- Category talk:Academics of the University of Cambridge (links | edit)