Concepedia

Martin Hyland

MH

21

Publications

1.2K

Citations

19

H-Index

1976

Active since

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

21

Publications

21

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

Rows per page

1–5 of 21