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

The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
M Hyland, J Power
– Electronic Notes in Theoretical Computer Science
(2007)
172,
437
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads.
M Hyland, J Power
– Electronic Notes in Theoretical Computer Science
(2007)
172,
43
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
A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus
M Hyland, M Nagayama, J Power, G Rosolini
– Elctronic Notes in Theoretical Computer SCience
(2006)
161,
43
Combining effects: Sum and tensor
M Hyland, G Plotkin, J Power
– Theoretical Computer Science
(2006)
357,
70
Symmetric monoidal sketches and categories of wirings
M Hyland, J Power
– Electronic Notes in Theoretical Computer Science
(2004)
100,
31
Abstract interpretation of proofs: Classical prepositional calculus
M Hyland
– Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
(2004)
3210,
6
Traced Premonoidal Categories
N Benton, M Hyland
– RAIRO - Theoretical Informatics and Applications
(2004)
37,
273
Wellfounded trees and dependent polynomial functors
N Gambino, M Hyland
– Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
(2004)
3085,
210
  • <
  • 3 of 8
  • >

Room

C1.11

Telephone

01223 337986