skip to content

Department of Pure Mathematics and Mathematical Statistics

Professor of Mathematical Logic

Research Interests: Mathematical Logic: Lambda Calculus, Recursion Theory, Realizability, Proof Theory, Linear Logic. Category Theory: Topos Theory, Categorical algebra, Operads, Higher-dimensional Categories. Theoretical Computer Science: Applications of Category Theory, Domain Theory, Polymorphism, Game Semantics.

Publications

Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
M Fiore, N Gambino, M Hyland, G Winskel
– Selecta Mathematica
(2018)
24,
2791
Elements of a theory of algebraic theories
JME Hyland
– Theoretical Computer Science
(2014)
546,
132
Towards a Notion of Lambda Monoid
M Hyland
– Electronic Notes in Theoretical Computer Science
(2014)
303,
59
Turing centenary conference: How the world computes
SB Cooper, A Dawar, M Hyland, B Löwe
– Annals of Pure and Applied Logic
(2014)
165,
1353
Turing Centenary Conference: How the World Computes
SB Cooper, A Dawar, M Hyland, B Löwe
– Annals of Pure and Applied Logic
(2014)
165,
1353
Moduli and periods of simply connected Enriques surfaces
T Ekedahl, JME Hyland, NI Shepherd-Barron
(2012)
Classical lambda calculus in modern dress
JME Hyland
– Mathematical Structures in Computer Science
(2017)
27,
762
Computability in Europe 2010
F Ferreira, M Hyland, B Lowe, E Mayordomo
– Annals of Pure and Applied Logic
(2012)
163,
621
Foreword [Special issue: Dedicated to the memory of Professor Gregory Maxwell Kelly]
M Hyland, G Janelidze, M Johnson, P Johnstone, S Lack, R Street, W Tholen, R Wood
– Applied Categorical Structures. A Journal Devoted to Applications of Categorical Methods in Algebra, Analysis, Order, Topology and Computer Science
(2011)
19,
1
Computability in Europe 2010
F Ferreira, M Hyland, B Löwe, E Mayordomo
– Annals of Pure and Applied Logic
(2012)
163,
621
  • 1 of 8
  • >

Room

C1.11

Telephone

01223 337986