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

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
The cartesian closed bicategory of generalised species of structures
M Fiore, N Gambino, M Hyland, G Winskel
– Journal of the London Mathematical Society
(2008)
77,
203
Abstract and Concrete Models for Recursion
JME Hyland
(2008)
175
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
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads.
M Hyland, J Power
– Electronic Notes in Theoretical Computer Science
(2007)
172,
43
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
M Hyland, J Power
– Electronic Notes in Theoretical Computer Science
(2007)
172,
437
Discrete Lawvere theories and computational effects
M Hyland, J Power
– Theoretical Computer Science
(2006)
366,
144
Categorical proof theory of classical propositional calculus
G Bellin, M Hyland, E Robinson, C Urban
– Theoretical Computer Science
(2006)
364,
146
  • <
  • 2 of 8
  • >

Room

C1.11

Telephone

01223 337986