Martin Hyland

Q: What Schools Are Affiliated With Martin Hyland

Martin Hyland is affiliated with the following schools: University of Oxford, University of Cambridge

Martin Hyland's AcademicInfluence.com Rankings

Martin Hyland

Mathematics

#1234

World Rank

#2069

Historical Rank

Measure Theory

#766

World Rank

#1025

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Why Is Martin Hyland Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Martin Elliott Hyland is professor of mathematical logic at the University of Cambridge and a fellow of King's College, Cambridge. His interests include mathematical logic, category theory, and theoretical computer science.

(See a Problem?)

Martin Hyland's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

On Full Abstraction for PCF: I, II, and III (2000) (609)
A Term Calculus for Intuitionistic Linear Logic (1993) (207)
Combining effects: Sum and tensor (2006) (194)
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (2007) (143)
Glueing and orthogonality for models of linear logic (2003) (137)
A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus (1976) (128)
Wellfounded Trees and Dependent Polynomial Functors (2003) (124)
Term Assignment for Intuitionistic Linear Logic (1992) (104)
A small complete category (1988) (85)
The cartesian closed bicategory of generalised species of structures (2008) (84)
Full Intuitionistic Linear Logic (extended abstract) (1993) (70)
Pseudo-commutative monads and pseudo-closed 2-categories (2002) (70)
Linear Lambda-Calculus and Categorial Models Revisited (1992) (65)
Proof theory in the abstract (2002) (63)
Categorical Combinatorics for Innocent Strategies (2007) (62)
Combining algebraic effects with continuations (2007) (55)
Games on Graphs and Sequentially Realizable Functionals (2002) (44)
Logic: from foundations to applications: European logic colloquium (1996) (44)
Discrete Lawvere theories and computational effects (2006) (42)
Modified Realizability Toposes and Strong Normalization Proofs (1993) (42)
Designs, Disputes and Strategies (2002) (41)
Combining Computational Effects: commutativity & sum (2002) (39)
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (2016) (38)
Pseudo-distributive Laws (2003) (37)
Categorical proof theory of classical propositional calculus (2006) (35)
Traced Premonoidal Categories (2003) (34)
Pi-calculus, dialogue games and full abstraction PCF (1995) (34)
Semantics and Logics of Computation: Game Semantics (1997) (31)
COMBINING COMPUTATIONAL EFFECTS : COMMUTATIVITY AND SUM (2001) (30)
Abstract Games for Linear Logic (1999) (28)
Hopf measuring comonoids and enrichment (2015) (27)
Algebraic Types in PER Models (1989) (26)
Full intuitionistic linear logic (1993) (26)
Some reasons for generalising domain theory (2010) (25)
Abstract Interpretation of Proofs: Classical Propositional Calculus (2004) (23)
Classical lambda calculus in modern dress (2012) (20)
Symmetric monoidal sketches (2000) (17)
A survey of some useful partial order relations on terms of the lambda calculus (1975) (17)
A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda (2006) (17)
A Category Theoretic Formulation for Engeler-style Models of the Untyped λ-Calculus (2006) (16)
Elements of a theory of algebraic theories (2013) (14)
Editors' note: bibliometrics and the curators of orthodoxy (2009) (13)
The S-Replete Constuction (1995) (12)
The S-replete construction (1995) (12)
Combining continuations with other effects (2004) (12)
Games on graphs and sequentially realizable functionals. Extended abstract (2002) (12)
Pseudo-commutative Monads (2001) (8)
Dialogue Games and Innocent Strategies: An Approach to (Intensional) Full Abstraction for PCF (1993) (8)
The True Concurrency of Herbrand's Theorem (2018) (7)
Two-dimensional linear algebra (2001) (7)
The linear-non-linear substitution 2-monad (2020) (6)
Symmetric Monoidal Sketches and Categories of Wirings (2004) (5)
Towards a Notion of Lambda Monoid (2014) (5)
Some Reasons for Generalizing Domain Theory (2009) (4)
Variations on realizability: realizing the propositional axiom of choice (2002) (4)
Turing Centenary Conference: How the World Computes (2014) (2)
Measuring Comodules and Enrichment (2017) (2)
The Forgotten Turing (2016) (1)
Traced pre-monoidal categories (2002) (1)
Explorer Combining Effects : Sum and Tensor (2006) (1)
Variations on Realizability: Simple examples realizing axioms of choice (1999) (1)
Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly (2011) (1)
Foreword for special issue of APAL for GaLoP 2013 (2017) (0)
The Ackermann Award 2007 (2007) (0)
MSC volume 23 issue 5 Cover and Back matter (2013) (0)
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (2017) (0)
Computability in Europe 2010 (2012) (0)
5 : 2 The True Concurrency of Herbrand ’ s Theorem 1 (2019) (0)
Edinburgh Combining Algebraic Effects with Continuations (2018) (0)
Explorer Combining Algebraic Effects with Continuations (2007) (0)
MSC volume 21 issue 5 Cover and Back matter (2011) (0)
Constructive Type Theory and the Dialogical Approach to Meaning (2019) (0)
MSC volume 22 issue 4 Cover and Back matter (2012) (0)
Edinburgh Research Explorer Combining Effects: Sum and Tensor (2018) (0)

This paper list is powered by the following services:

Other Resources About Martin Hyland

en.wikipedia.org

What Schools Are Affiliated With Martin Hyland?

Martin Hyland is affiliated with the following schools:

Martin Hyland's Academic­Influence.com Rankings