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 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.
(2024)
(doi: 10.48550/arxiv.2212.01477)
(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.
– 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
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.2209.02863)
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)
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