skip to content
Home

Faculty of Mathematics

 

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

The Kock-Mikkelsen factorisation
JME Hyland
– Mathematical Structures in Computer Science
(2025)
35,
e39
(doi: 10.1017/S0960129525100340)
Monoidal bicategories, differential linear logic, and analytic functors
M Fiore, N Gambino, M Hyland
(2024)
(link to publication)
Search for Eccentric Black Hole Coalescences during the Third Observing Run of LIGO and Virgo
The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, AG Abac, R Abbott, H Abe, F Acernese, K Ackley, C Adamcewicz, S Adhicary, N Adhikari, RX Adhikari, VK Adkins, VB Adya, C Affeldt, D Agarwal, M Agathos, OD Aguiar, I Aguilar, L Aiello, A Ain, P Ajith, T Akutsu, S Albanesi, RA Alfaidi et al.
(2023)
(doi: 10.48550/arxiv.2308.03822)
Open Data from the Third Observing Run of LIGO, Virgo, KAGRA, and GEO
R Abbott, H Abe, F Acernese, K Ackley, S Adhicary, N Adhikari, RX Adhikari, VK Adkins, VB Adya, C Affeldt, D Agarwal, M Agathos, OD Aguiar, L Aiello, A Ain, P Ajith, T Akutsu, S Albanesi, RA Alfaidi, A Al-Jodah, C Alléné, A Allocca, M Almualla, PA Altin, A Amato et al.
– The Astrophysical Journal Supplement Series
(2023)
267,
29
(doi: 10.3847/1538-4365/acdc9f)
Search for gravitational-lensing signatures in the full third observing run of the LIGO-Virgo network
The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, R Abbott, H Abe, F Acernese, K Ackley, S Adhicary, N Adhikari, RX Adhikari, VK Adkins, VB Adya, C Affeldt, D Agarwal, M Agathos, OD Aguiar, L Aiello, A Ain, P Ajith, T Akutsu, S Albanesi, RA Alfaidi, C Alléné, A Allocca, PA Altin et al.
(2023)
(doi: 10.48550/arxiv.2304.08393)
(link to publication)
Model-based Cross-correlation Search for Gravitational Waves from the Low-mass X-Ray Binary Scorpius X-1 in LIGO O3 Data
R Abbott, H Abe, F Acernese, K Ackley, S Adhicary, N Adhikari, RX Adhikari, VK Adkins, VB Adya, C Affeldt, D Agarwal, M Agathos, OD Aguiar, L Aiello, A Ain, P Ajith, T Akutsu, S Albanesi, RA Alfaidi, C Alléné, A Allocca, PA Altin, A Amato, S Anand, A Ananyeva et al.
– The Astrophysical Journal Letters
(2022)
941,
l30
(doi: 10.3847/2041-8213/aca1b0)
Search for subsolar-mass black hole binaries in the second part of Advanced LIGO's and Advanced Virgo's third observing run
The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, R Abbott, H Abe, F Acernese, K Ackley, S Adhicary, N Adhikari, RX Adhikari, VK Adkins, VB Adya, C Affeldt, D Agarwal, M Agathos, OD Aguiar, L Aiello, A Ain, P Ajith, T Akutsu, S Albanesi, RA Alfaidi, C Alléné, A Allocca, PA Altin et al.
(2022)
(doi: 10.48550/arxiv.2212.01477)
(link to publication)
Model-based cross-correlation search for gravitational waves from the low-mass X-ray binary Scorpius X-1 in LIGO O3 data
The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration, R Abbott, H Abe, F Acernese, K Ackley, S Adhicary, N Adhikari, RX Adhikari, VK Adkins, VB Adya, C Affeldt, D Agarwal, M Agathos, OD Aguiar, L Aiello, A Ain, P Ajith, T Akutsu, S Albanesi, RA Alfaidi, C Alléné, A Allocca, PA Altin et al.
(2022)
(doi: 10.48550/arxiv.2209.02863)
The linear-non-linear substitution 2-monad
M Hyland, C Tasson
– Electronic Proceedings in Theoretical Computer Science Eptcs
(2021)
333,
215
(doi: 10.4204/eptcs.333.15)
The true concurrency of herbrand's theorem
A Alcolei, P Clairambault, M Hyland, G Winskel
– 27TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2018
(2018)
119,
5:1
(doi: 10.4230/LIPIcs.CSL.2018.5)
  • 1 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