Concepedia
Statistics
Publications
21
Citations
1.2K
H-Index
19
Active since
1976
Affiliations
University of Cambridge(Current)
University of Edinburgh
Institute of Mathematical Statistics
University of Manchester
Martin Hyland is an author at University of Cambridge specializing in automated reasoning, engineering, and formal methods.
Top concepts
Automated ReasoningEngineeringFormal MethodsComputer ScienceGamesGame TheoryMathematical FoundationsBusinessSemanticsDiscrete Mathematics
Publications per year
1976–2017
Combining effects: Sum and tensor
Martin Hyland, Gordon Plotkin, John Power · Theoretical Computer Science · 2006 · 177 citations · Full text
Multilinear Subspace Learning, Gabor Expansion
Glueing and orthogonality for models of linear logic
Martin Hyland, Andrea Schalk · Theoretical Computer Science · 2003 · 131 citations
Non-classical Logic, Engineering, Automated Reasoning +3
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
Martin Hyland, John Power · Electronic Notes in Theoretical Computer Science · 2007 · 126 citations · Full text
Computational Logic, Algebraic Logic, Engineering +13
A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
Martin Hyland · Journal of the London Mathematical Society · 1976 · 110 citations
Engineering, Automated Reasoning, Type Theory +7
The cartesian closed bicategory of generalised species of structures
Marcelo Fiore, Nicola Gambino, Martin Hyland et al. · Journal of the London Mathematical Society · 2007 · 99 citations
Generalised Species, Mathematical Structure, Higher Category Theory +6
1–5 of 21