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

Computability in Europe 2010
F Ferreira, M Hyland, B Lowe, E Mayordomo
– Annals of Pure and Applied Logic
(2012)
163,
621
Computability in Europe 2010
F Ferreira, M Hyland, B Löwe, E Mayordomo
– Annals of Pure and Applied Logic
(2012)
163,
621
Foreword
M Hyland, G Janelidze, M Johnson, P Johnstone, S Lack, R Street, W Tholen, R Wood
– Applied Categorical Structures
(2010)
19,
1
Some reasons for generalising domain theory
M Hyland
– Mathematical Structures in Computer Science
(2010)
20,
239
Editors' note: bibliometrics and the curators of orthodoxy
G Longo, E Asarin, M Barr, G Berry, T Coquand, PL Curien, R De Nicola, A Edalat, T Ehrhard, H Ehrig, M Escardo, JY Girard, M Hasegawa, F Honsell, M Hyland, M Kanovitch, S Lack, R Milner, M Mislove, E Moggi, U Montanari, C Palamidessi, T Paul, B Pierce, A Pitts, GD Plotkin, A Scedrov, DS Scott, PJ Scott, RAG Seely, P Selinger, A Simpson, J Tiuryn, G Winskel, MSCS Editorial Board
– Mathematical Structures in Computer Science
(2009)
19,
1
Tripos Theory
JME HYLAND, PT JOHNSTONE, AM PITTS
– Math. Proc. Cambridge Philos. Soc.
(2008)
88,
205
Abstract and Concrete Models for Recursion
JME Hyland
(2008)
175
The cartesian closed bicategory of generalised species of structures
M Fiore, N Gambino, M Hyland, G Winskel
– Journal of the London Mathematical Society
(2007)
77,
203
Categorical combinatorics for innocent strategies
R Harmer, M Hyland, PA Melliès
– Proceedings - Symposium on Logic in Computer Science
(2007)
379
Combining algebraic effects with continuations
M Hyland, PB Levy, G Plotkin, J Power
– Theoretical Computer Science
(2007)
375,
20
  • <
  • 2 of 8
  • >

Room

C1.11

Telephone

01223 337986