Martin Hyland

Computer Science · Physical Sciences

23h-index1.7kcitations44works3.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(26), Logic, Reasoning, and Knowledge(23), Homotopy and Cohomology in Algebraic Topology(12), Algebraic structures and combinatorial models(10), Computability, Logic, AI Algorithms(9)

Publications44 total

Measuring comodules and enrichment
Journal of Pure and Applied Algebra·2026· 3 citedOpen Access
The linear-non-linear substitution 2-monad
arXiv (Cornell University)·2020· 1 citedOpen Access
The True Concurrency of Herbrand's Theorem
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2018· 6 citedOpen Access
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Selecta Mathematica·2017· 32 citedOpen Access
Turing Centenary Conference: How the World Computes
Annals of Pure and Applied Logic·2014· 2 cited
Towards a Notion of Lambda Monoid
Electronic Notes in Theoretical Computer Science·2014· 6 citedOpen Access
Elements of a theory of algebraic theories
arXiv (Cornell University)·2013Open Access
Computability in Europe 2010
Annals of Pure and Applied Logic·2011
Foreword
Applied Categorical Structures·2010
Some reasons for generalising domain theory
Mathematical Structures in Computer Science·2010· 26 cited
The cartesian closed bicategory of generalised species of structures
Journal of the London Mathematical Society·2007· 99 cited
The Ackermann Award 2007
Lecture notes in computer science·2007
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
Electronic Notes in Theoretical Computer Science·2007· 126 citedOpen Access
Categorical Combinatorics for Innocent Strategies
2007· 54 cited
Combining algebraic effects with continuations
Theoretical Computer Science·2006· 47 citedOpen Access
Categorical proof theory of classical propositional calculus
Theoretical Computer Science·2006· 29 cited
A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus
Electronic Notes in Theoretical Computer Science·2006· 23 citedOpen Access
Discrete Lawvere theories and computational effects
Theoretical Computer Science·2006· 37 cited
Combining effects: Sum and tensor
Theoretical Computer Science·2006· 177 citedOpen Access
Symmetric Monoidal Sketches and Categories of Wirings
Electronic Notes in Theoretical Computer Science·2004· 4 citedOpen Access
page 1 of 3Next →

Frequent Co-authors

John Power(13), Gordon Plotkin(4), Nick Benton(4), Valeria de Paiva(4), Nicola Gambino(4), Gavin Bierman(3), Andrea Schalk(3), Glynn Winskel(3), Marcelo Fiore(2), Paul Blain Levy(2), Wilfrid Hodges(2), Charles Steinhorn(2), J. K. Truss(2), Benedikt Löwe(2), Russ Harmer(1), Paul-André Melliès(1), Eugenia Cheng(1), Claudia Faggian(1), Gianluigi Bellin(1), E. Powell Robinson(1)