M
Martin Hyland
Researcher at University of Cambridge
Publications - 48
Citations - 2081
Martin Hyland is an academic researcher from University of Cambridge. The author has contributed to research in topics: Linear logic & Cartesian closed category. The author has an hindex of 24, co-authored 48 publications receiving 1942 citations. Previous affiliations of Martin Hyland include University of Edinburgh.
Papers
More filters
Journal ArticleDOI
Combining effects: sum and tensor
TL;DR: This work reformulates Moggi's monadic paradigm for modelling computational effects using the notion of enriched Lawvere theory, together with its relationship with strong monads; this emphasises the importance of the operations that produce the effects.
Book ChapterDOI
A Term Calculus for Intuitionistic Linear Logic
TL;DR: This paper considers the problem of deriving a term assignment system for Girard's Intuitionistic Linear Logic for both the sequent calculus and natural deduction proof systems and explores the relationship between these and considers their computational content.
Journal ArticleDOI
Glueing and orthogonality for models of linear logic
Martin Hyland,Andrea Schalk +1 more
TL;DR: The general theory of the method of glueing and associated technique of orthogonality for constructing categorical models of all the structure of linear logic is presented and the exponentials are treated in detail.
Journal ArticleDOI
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
Martin Hyland,John Power +1 more
TL;DR: The history of Gordon Plotkin's mature work is studied, in particular asking why Lawvere theories were eclipsed by monads in the 1960's, and how the renewed interest in them in a computer science setting might develop in future.
Journal ArticleDOI
A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
TL;DR: Theorem 5.4.4 as discussed by the authors states that an equality relation is consistent if and only if it sets all terms equal; unless it is consistent, it is inconsistent and has no consistent proper extensions.