J. M. E. Hyland

Available identifiers

zbMath Open hyland.j-martin-eWikidataQ6775742 ScholiaQ6775742MaRDI QIDQ234589

List of research outcomes

Publication	Date of Publication	Type
Algebraic types in PER models	2023-04-12	Paper
The S-replete construction	2022-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q5079725	2022-05-28	Paper
The linear-non-linear substitution 2-monad	2022-01-10	Paper
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures	2018-07-16	Paper
Hopf measuring comonoids and enrichment	2017-12-13	Paper
Classical lambda calculus in modern dress	2017-06-14	Paper
Measuring Comodules and Enrichment	2017-03-29	Paper
Towards a notion of lambda monoid	2016-05-06	Paper
Pseudo-distributive laws	2016-05-03	Paper
Elements of a theory of algebraic theories	2014-07-25	Paper
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2863881	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2847418	2013-09-09	Paper
Two-dimensional linear algebra	2013-04-26	Paper
Pseudo-commutative Monads	2013-04-26	Paper
Moduli and periods of simply connected Enriques surfaces	2012-10-01	Paper
Foreword	2011-03-30	Paper
Some reasons for generalising domain theory	2010-05-17	Paper
The Ackermann Award 2007	2009-03-05	Paper
The cartesian closed bicategory of generalised species of structures	2008-03-13	Paper
Combining algebraic effects with continuations	2007-05-11	Paper
Categorical proof theory of classical propositional calculus	2007-01-09	Paper
Discrete Lawvere theories and computational effects	2007-01-09	Paper
Combining effects: sum and tensor	2006-08-16	Paper
Types for Proofs and Programs	2005-12-23	Paper
Computer Science Logic	2005-08-22	Paper
Traced Premonoidal Categories	2004-03-29	Paper
Glueing and orthogonality for models of linear logic	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4411840	2003-07-10	Paper
Proof theory in the abstract	2003-03-22	Paper
Pseudo-commutative monads and pseudo-closed 2-categories	2002-12-02	Paper
Variations on realizability: realizing the propositional axiom of choice	2002-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q4499140	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4499228	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4225150	1999-01-18	Paper
https://portal.mardi4nfdi.de/entity/Q4283230	1996-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4281466	1994-04-07	Paper
Full intuitionistic linear logic	1994-03-27	Paper
https://portal.mardi4nfdi.de/entity/Q3978973	1992-06-26	Paper
The Discrete Objects in the Effective Topos	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5752573	1989-01-01	Paper
A small complete category	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3669406	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3671978	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3942026	1981-01-01	Paper
Tripos theory	1980-01-01	Paper
Filter spaces and continuous functionals	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3863865	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3866268	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3855166	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3855167	1977-01-01	Paper
A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4101793	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4101794	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: J. M. E. Hyland