default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin 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
2020 – today
- 2024
[i1]M. Fiore, Nicola Gambino, Martin Hyland:
Monoidal bicategories, differential linear logic, and analytic functors. CoRR abs/2405.05774 (2024)- 2020
- [c27]Martin Hyland, Christine Tasson:
The linear-non-linear substitution 2-monad. ACT 2020: 215-229
2010 – 2019
- 2018
- [c26]Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel:
The True Concurrency of Herbrand's Theorem. CSL 2018: 5:1-5:22 - 2017
- [j18]Martin Hyland, Guy McCusker
, Nikos Tzevelekos:
Foreword for special issue of APAL for GaLoP 2013. Ann. Pure Appl. Log. 168(2): 233 (2017) - [j17]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
- [j16]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) - [j15]J. M. E. Hyland:
Elements of a theory of algebraic theories. Theor. Comput. Sci. 546: 132-144 (2014) - 2013
- [c25]Martin Hyland:
Towards a Notion of Lambda Monoid. WACT 2013: 59-77 - 2012
- [j14]Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo:
Computability in Europe 2010. Ann. Pure Appl. Log. 163(6): 621-622 (2012) - 2011
- [j13]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
- [j12]Martin Hyland:
Some reasons for generalising domain theory. Math. Struct. Comput. Sci. 20(2): 239-265 (2010)
2000 – 2009
- 2007
- [j11]Martin Hyland, Paul Blain Levy, Gordon D. Plotkin, John Power:
Combining algebraic effects with continuations. Theor. Comput. Sci. 375(1-3): 20-40 (2007) - [c24]Martin Grohe, Martin Hyland, Johann A. Makowsky, Damian Niwinski:
The Ackermann Award 2007. CSL 2007: 589-597 - [c23]Russell Harmer, Martin Hyland, Paul-André Melliès:
Categorical Combinatorics for Innocent Strategies. LICS 2007: 379-388 - [c22]Martin Hyland, John Power:
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. Computation, Meaning, and Logic 2007: 437-458 - 2006
- [j10]Martin Hyland, Gordon D. Plotkin, John Power:
Combining effects: Sum and tensor. Theor. Comput. Sci. 357(1-3): 70-99 (2006) - [j9]Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban:
Categorical proof theory of classical propositional calculus. Theor. Comput. Sci. 364(2): 146-165 (2006) - [j8]Martin Hyland, John Power:
Discrete Lawvere theories and computational effects. Theor. Comput. Sci. 366(1-2): 144-162 (2006) - 2004
- [c21]Martin Hyland:
Abstract Interpretation of Proofs: Classical Propositional Calculus. CSL 2004: 6-21 - [c20]Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini:
A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. MFCSIT 2004: 43-57 - 2003
- [j7]Nick Benton, Martin Hyland:
Traced Premonoidal Categories. RAIRO Theor. Informatics Appl. 37(4): 273-299 (2003) - [j6]Martin Hyland, Andrea Schalk:
Glueing and orthogonality for models of linear logic. Theor. Comput. Sci. 294(1/2): 183-231 (2003) - [c19]Eugenia Cheng, Martin Hyland, John Power:
Pseudo-distributive Laws. MFPS 2003: 227-245 - [c18]Nicola Gambino, Martin Hyland:
Wellfounded Trees and Dependent Polynomial Functors. TYPES 2003: 210-225 - [c17]Martin Hyland, John Power:
Symmetric Monoidal Sketches and Categories of Wirings. CMCIM/GETCO@CONCUR 2003: 31-46 - 2002
- [j5]J. M. E. Hyland:
Proof theory in the abstract. Ann. Pure Appl. Log. 114(1-3): 43-78 (2002) - [j4]J. M. E. Hyland:
Variations on Realizability: Realizing the Propositional Axiom of Choice. Math. Struct. Comput. Sci. 12(3): 295-317 (2002) - [c16]Claudia Faggian, Martin Hyland:
Designs, Disputes and Strategies. CSL 2002: 442-457 - [c15]Nick Benton, Martin Hyland:
Traced pre-monoidal categories. FICS 2002: 12-19 - [c14]Martin Hyland, Gordon D. Plotkin, John Power:
Combining Computational Effects: commutativity & sum. IFIP TCS 2002: 474-484 - [c13]Martin Hyland, Andrea Schalk:
Games on Graphs and Sequentially Realizable Functionals. LICS 2002: 257-264 - 2001
- [c12]Martin Hyland, John Power:
Pseudo-commutative Monads. MFPS 2001: 197-208 - [c11]Martin Hyland, John Power:
Two-dimensional linear algebra. CMCS 2001: 227-240 - 2000
- [j3]J. M. E. Hyland, C.-H. Luke Ong:
On Full Abstraction for PCF: I, II, and III. Inf. Comput. 163(2): 285-408 (2000) - [c10]Martin Hyland, John Power:
Symmetric monoidal sketches. PPDP 2000: 280-288
1990 – 1999
- 1999
- [c9]Martin Hyland:
Variations on Realizability: Simple examples realizing axioms of choice. Realizability Semantics and Applications@FLoC 1999: 166-188 - [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, Edmund 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).
Privacy notice: By enabling the option above, your browser will contact the API of 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.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional 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 information given by OpenAlex.
last updated on 2024-06-25 21:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
