Martin Hyland

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