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, New Series
(2018)
24,
2791
A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
M HYLAND
– Journal of the London Mathematical Society
(2016)
s2-12,
361
Obituary: Andre\u\i Nikolaevich Kolmogorov (1903–1987)
DG Kendall, GK Batchelor, NH Bingham, WK Hayman, JME Hyland, GG Lorentz, HK Moffatt, W Parry, AA Razborov, CA Robinson, P Whittle
– The Bulletin of the London Mathematical Society
(2016)
22,
31
The Discrete Objects in the Effective Topos
JME HYLAND, EP ROBINSON, G ROSOLINI
– Proceedings of the London Mathematical Society
(2016)
60,
1
Classical lambda calculus in modern dress
JME Hyland
– Mathematical Structures in Computer Science
(2015)
27,
762
Turing Centenary Conference: How the World Computes.
SB Cooper, A Dawar, M Hyland, B Löwe
– Ann. Pure Appl. Log.
(2014)
165,
1353
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
Computability in Europe 2010
F Ferreira, M Hyland, B Lowe, E Mayordomo
– Annals of Pure and Applied Logic
(2012)
163,
621
  • 1 of 8
  • >

Room

C1.11

Telephone

01223 337986