skip to content
Home

Department of Pure Mathematics and Mathematical Statistics

Professor Martin Hyland

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

A term calculus for Intuitionistic Linear Logic
N Benton, G Bierman, V de Paiva, M Hyland
(1993)
664,
75
(doi: 10.1007/bfb0037099)
Linear λ-calculus and categorical models revisited
N Benton, G Bierman, V de Paiva, M Hyland
(1993)
702,
61
(doi: 10.1007/3-540-56992-8_6)
Modified realizability toposes and strong normalization proofs
JME Hyland, CHL Ong
– Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics
(1993)
664 LNCS,
179
(doi: 10.1007/bfb0037106)
First steps in synthetic domain theory
JME Hyland
(1991)
1488,
131
(doi: 10.1007/BFb0084217)
1ST STEPS IN SYNTHETIC DOMAIN THEORY
JME HYLAND
– CATEGORY THEORY
(1991)
1488,
131
(link to publication)
Computing and foundations
JME Hyland
(1991)
30,
269
1ST STEPS IN SYNTHETIC DOMAIN THEORY
JME HYLAND
– LECT NOTES MATH
(1991)
1488,
131
(link to publication)
ALGEBRAIC TYPES IN PER MODELS
JME HYLAND, EP ROBINSON, G ROSOLINI
– LECT NOTES COMPUT SC
(1990)
442,
333
(link to publication)
ALGEBRAIC TYPES IN PER MODELS
JME HYLAND, EP ROBINSON, G ROSOLINI
– MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS /
(1990)
442,
333
(link to publication)
KOLMOGOROV WORK IN LOGIC
JME HYLAND
– BULLETIN OF THE LONDON MATHEMATICAL SOCIETY
(1990)
22,
61
(link to publication)
  • <
  • 7 of 9
  • >

Research Group

DPMMS retired

Email

M.Hyland@dpmms.cam.ac.uk

Room

C1.13

Telephone

01223 337983

Personal homepage

https://www.dpmms.cam.ac.uk/~jmeh1

    Study at Cambridge

    About the University

    Research at Cambridge