
Martin Hyland
Person information
- affiliation: University of Cambridge, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [c21]Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel:
The True Concurrency of Herbrand's Theorem. CSL 2018: 5:1-5:22 - 2017
- [j23]Martin Hyland, Guy McCusker
, Nikos Tzevelekos:
Foreword for special issue of APAL for GaLoP 2013. Ann. Pure Appl. Log. 168(2): 233 (2017) - [j22]J. M. E. Hyland:
Classical lambda calculus in modern dress. Math. Struct. Comput. Sci. 27(5): 762-781 (2017) - 2016
- [p1]J. M. E. Hyland:
The Forgotten Turing. The Once and Future Turing 2016: 20-33 - 2014
- [j21]S. Barry Cooper, Anuj Dawar
, Martin Hyland, Benedikt Löwe:
Turing Centenary Conference: How the World Computes. Ann. Pure Appl. Log. 165(9): 1353-1354 (2014) - [j20]Martin Hyland:
Towards a Notion of Lambda Monoid. Electron. Notes Theor. Comput. Sci. 303: 59-77 (2014) - [j19]J. M. E. Hyland:
Elements of a theory of algebraic theories. Theor. Comput. Sci. 546: 132-144 (2014) - 2012
- [j18]Fernando Ferreira
, Martin Hyland, Benedikt Löwe, Elvira Mayordomo
:
Computability in Europe 2010. Ann. Pure Appl. Log. 163(6): 621-622 (2012) - 2011
- [j17]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): 1-7 (2011) - 2010
- [j16]Martin Hyland:
Some reasons for generalising domain theory. Math. Struct. Comput. Sci. 20(2): 239-265 (2010)
2000 – 2009
- 2007
- [j15]Martin Hyland, John Power
:
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. Electron. Notes Theor. Comput. Sci. 172: 437-458 (2007) - [j14]Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power
:
Combining algebraic effects with continuations. Theor. Comput. Sci. 375(1-3): 20-40 (2007) - [c20]Martin Grohe, Martin Hyland, Johann A. Makowsky, Damian Niwinski:
The Ackermann Award 2007. CSL 2007: 589-597 - [c19]Russell Harmer, Martin Hyland, Paul-André Melliès:
Categorical Combinatorics for Innocent Strategies. LICS 2007: 379-388 - 2006
- [j13]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: 43-57 (2006) - [j12]Martin Hyland, Gordon D. Plotkin, John Power
:
Combining effects: Sum and tensor. Theor. Comput. Sci. 357(1-3): 70-99 (2006) - [j11]Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban:
Categorical proof theory of classical propositional calculus. Theor. Comput. Sci. 364(2): 146-165 (2006) - [j10]Martin Hyland, John Power
:
Discrete Lawvere theories and computational effects. Theor. Comput. Sci. 366(1-2): 144-162 (2006) - 2004
- [j9]Martin Hyland, John Power
:
Symmetric Monoidal Sketches and Categories of Wirings. Electron. Notes Theor. Comput. Sci. 100: 31-46 (2004) - [c18]Martin Hyland:
Abstract Interpretation of Proofs: Classical Propositional Calculus. CSL 2004: 6-21 - 2003
- [j8]Nick Benton, Martin Hyland:
Traced Premonoidal Categories. RAIRO Theor. Informatics Appl. 37(4): 273-299 (2003) - [j7]Martin Hyland, Andrea Schalk:
Glueing and orthogonality for models of linear logic. Theor. Comput. Sci. 294(1/2): 183-231 (2003) - [c17]Eugenia Cheng, Martin Hyland, John Power:
Pseudo-distributive Laws. MFPS 2003: 227-245 - [c16]Nicola Gambino, Martin Hyland:
Wellfounded Trees and Dependent Polynomial Functors. TYPES 2003: 210-225 - 2002
- [j6]J. M. E. Hyland:
Proof theory in the abstract. Ann. Pure Appl. Log. 114(1-3): 43-78 (2002) - [j5]J. M. E. Hyland:
Variations on Realizability: Realizing the Propositional Axiom of Choice. Math. Struct. Comput. Sci. 12(3): 295-317 (2002) - [c15]Claudia Faggian, Martin Hyland:
Designs, Disputes and Strategies. CSL 2002: 442-457 - [c14]Nick Benton, Martin Hyland:
Traced pre-monoidal categories. FICS 2002: 12-19 - [c13]Martin Hyland, Gordon D. Plotkin, John Power:
Combining Computational Effects: commutativity & sum. IFIP TCS 2002: 474-484 - [c12]Martin Hyland, Andrea Schalk:
Games on Graphs and Sequentially Realizable Functionals. LICS 2002: 257-264 - 2001
- [c11]Martin Hyland, John Power
:
Pseudo-commutative Monads. MFPS 2001: 197-208 - [c10]Martin Hyland, John Power
:
Two-dimensional linear algebra. CMCS 2001: 227-240 - 2000
- [j4]J. M. E. Hyland, C.-H. Luke Ong
:
On Full Abstraction for PCF: I, II, and III. Inf. Comput. 163(2): 285-408 (2000) - [c9]Martin Hyland, John Power
:
Symmetric monoidal sketches. PPDP 2000: 280-288
1990 – 1999
- 1999
- [j3]Martin Hyland:
Variations on Realizability: Simple examples realizing axioms of choice. Electron. Notes Theor. Comput. Sci. 23(1): 166-188 (1999) - [c8]Martin Hyland, Andrea Schalk:
Abstract Games for Linear Logic. CTCS 1999: 127-150 - 1995
- [c7]J. M. E. Hyland, Eugenio Moggi:
The S-Replete Constuction. Category Theory and Computer Science 1995: 96-116 - [c6]J. M. E. Hyland, C.-H. Luke Ong
:
Pi-Calculus, Dialogue Games and PCF. FPCA 1995: 96-107 - 1993
- [j2]Martin Hyland, Valeria de Paiva
:
Full Intuitionistic Linear Logic (extended abstract). Ann. Pure Appl. Log. 64(3): 273-291 (1993) - [c5]P. N. Benton, Gavin M. Bierman, Valeria de Paiva
, Martin Hyland:
A Term Calculus for Intuitionistic Linear Logic. TLCA 1993: 75-90 - [c4]J. M. E. Hyland, C.-H. Luke Ong
:
Modified Realizability Toposes and Strong Normalization Proofs. TLCA 1993: 179-194 - 1992
- [c3]P. N. Benton, Gavin M. Bierman, Valeria de Paiva
, Martin Hyland:
Linear Lambda-Calculus and Categorial Models Revisited. CSL 1992: 61-84
1980 – 1989
- 1989
- [c2]J. M. E. Hyland, E. P. Robinson, Giuseppe Rosolini:
Algebraic Types in PER Models. Mathematical Foundations of Programming Semantics 1989: 333-350 - 1988
- [j1]J. M. E. Hyland:
A small complete category. Ann. Pure Appl. Log. 40(2): 135-165 (1988)
1970 – 1979
- 1975
- [c1]J. M. E. Hyland:
A survey of some useful partial order relations on terms of the lambda calculus. Lambda-Calculus and Computer Science Theory 1975: 83-95
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-10-27 23:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint