Misplaced Pages

The following pages link to Martin Hyland

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

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)
• 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)
• Tom Leinster (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)
• Misplaced Pages:WikiProject Mathematics/List of mathematicians (H) (links | edit)
• Category talk:Academics of the University of Cambridge (links | edit)