The following pages link to J. M. E. Hyland (Q234589):
Displaying 50 items.
- Pseudo-distributive laws (Q276490) (← links)
- Towards a notion of lambda monoid (Q280190) (← links)
- (Q590384) (redirect page) (← links)
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- A small complete category (Q1112159) (← links)
- Full intuitionistic linear logic (Q1314646) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- (Q1652911) (redirect page) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- Pseudo-commutative monads and pseudo-closed 2-categories (Q1850100) (← links)
- Elements of a theory of algebraic theories (Q2253182) (← links)
- Combining effects: sum and tensor (Q2500483) (← links)
- (Q2847418) (← links)
- (Q2863881) (← links)
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (Q2864158) (← links)
- Filter spaces and continuous functionals (Q3050417) (← links)
- Variations on realizability: realizing the propositional axiom of choice (Q3146244) (← links)
- The Discrete Objects in the Effective Topos (Q3481914) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- The Ackermann Award 2007 (Q3608440) (← links)
- (Q3669406) (← links)
- (Q3671978) (← links)
- (Q3855166) (← links)
- (Q3855167) (← links)
- (Q3863865) (← links)
- (Q3866268) (← links)
- Tripos theory (Q3897050) (← links)
- (Q3942026) (← links)
- (Q3978973) (← links)
- A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus (Q4094853) (← links)
- (Q4101793) (← links)
- (Q4101794) (← links)
- (Q4225150) (← links)
- (Q4281466) (← links)
- (Q4283230) (← links)
- (Q4411840) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- (Q4499140) (← links)
- (Q4499228) (← links)
- Hopf measuring comonoids and enrichment (Q4597587) (← links)
- Two-dimensional linear algebra (Q4917040) (← links)
- Pseudo-commutative Monads (Q4917057) (← links)
- The linear-non-linear substitution 2-monad (Q5019678) (← links)
- The S-replete construction (Q5057468) (← links)
- (Q5079725) (← links)
- Classical lambda calculus in modern dress (Q5269006) (← links)
- Computer Science Logic (Q5311259) (← links)
- The cartesian closed bicategory of generalised species of structures (Q5450620) (← links)
