Martin Hyland

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 4

Top Topics

Top Venues

Ann. Pure Appl. Log.

Electron. Notes Theor. Comput. Sci.

Publications

M. Fiore, Nicola Gambino, Martin Hyland
Monoidal bicategories, differential linear logic, and analytic functors. CoRR (2024)
Martin Hyland, Christine Tasson
The linear-non-linear substitution 2-monad. ACT (2020)
Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel
The True Concurrency of Herbrand's Theorem. CSL (2018)
Martin Hyland, Guy McCusker, Nikos Tzevelekos
Foreword for special issue of APAL for GaLoP 2013. Ann. Pure Appl. Log. 168 (2) (2017)
Martin Hyland
Towards a Notion of Lambda Monoid. Electron. Notes Theor. Comput. Sci. 303 (2014)
S. Barry Cooper, Anuj Dawar, Martin Hyland, Benedikt Löwe
Turing Centenary Conference: How the World Computes. Ann. Pure Appl. Log. 165 (9) (2014)
Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo
Computability in Europe 2010. Ann. Pure Appl. Log. 163 (6) (2012)
George Janelidze, Martin Hyland, Michael Johnson, Peter T. Johnstone, Stephen Lack, Ross Street, Walter Tholen, Richard J. Wood
Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly. Appl. Categorical Struct. 19 (1) (2011)
Martin Hyland
Some reasons for generalising domain theory. Math. Struct. Comput. Sci. 20 (2) (2010)
Martin Hyland, John Power
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. Electron. Notes Theor. Comput. Sci. 172 (2007)
Russell Harmer, Martin Hyland, Paul-André Melliès
Categorical Combinatorics for Innocent Strategies. LICS (2007)
Martin Grohe, Martin Hyland, Johann A. Makowsky, Damian Niwinski
The Ackermann Award 2007. CSL (2007)
Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power
Combining algebraic effects with continuations. Theor. Comput. Sci. 375 (1-3) (2007)
Martin Hyland, John Power
Discrete Lawvere theories and computational effects. Theor. Comput. Sci. 366 (1-2) (2006)
Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban
Categorical proof theory of classical propositional calculus. Theor. Comput. Sci. 364 (2) (2006)
Martin Hyland, Gordon D. Plotkin, John Power
Combining effects: Sum and tensor. Theor. Comput. Sci. 357 (1-3) (2006)
Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini
A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. Electron. Notes Theor. Comput. Sci. 161 (2006)
Martin Hyland
Abstract Interpretation of Proofs: Classical Propositional Calculus. CSL (2004)
Martin Hyland, John Power
Symmetric Monoidal Sketches and Categories of Wirings. Electron. Notes Theor. Comput. Sci. 100 (2004)
Eugenia Cheng, Martin Hyland, John Power
Pseudo-distributive Laws. MFPS (2003)
Martin Hyland, Andrea Schalk
Glueing and orthogonality for models of linear logic. Theor. Comput. Sci. 294 (1/2) (2003)
Nicola Gambino, Martin Hyland
Wellfounded Trees and Dependent Polynomial Functors. TYPES (2003)
Nick Benton, Martin Hyland
Traced Premonoidal Categories. RAIRO Theor. Informatics Appl. 37 (4) (2003)
Martin Hyland, Andrea Schalk
Games on Graphs and Sequentially Realizable Functionals. LICS (2002)
Martin Hyland, Gordon D. Plotkin, John Power
Combining Computational Effects: commutativity & sum. IFIP TCS (2002)
Claudia Faggian, Martin Hyland
Designs, Disputes and Strategies. CSL (2002)
Nick Benton, Martin Hyland
Traced pre-monoidal categories. FICS (2002)
Martin Hyland, John Power
Pseudo-commutative Monads. MFPS (2001)
Martin Hyland, John Power
Two-dimensional linear algebra. CMCS (2001)
Martin Hyland, John Power
Symmetric monoidal sketches. PPDP (2000)
Martin Hyland, Andrea Schalk
Abstract Games for Linear Logic. CTCS (1999)
Martin Hyland
Variations on Realizability: Simple examples realizing axioms of choice. Electron. Notes Theor. Comput. Sci. 23 (1) (1999)
Martin Hyland, Valeria de Paiva
Full Intuitionistic Linear Logic (extended abstract). Ann. Pure Appl. Log. 64 (3) (1993)
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
A Term Calculus for Intuitionistic Linear Logic. TLCA (1993)
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
Linear Lambda-Calculus and Categorial Models Revisited. CSL (1992)