The following pages link to Neil Ghani (Q724934):
Displaying 50 items.
- A compositional treatment of iterated open games (Q724937) (← links)
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- String rewriting for double coset systems. (Q2457349) (← links)
- Continuous Functions on Final Coalgebras (Q2805147) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Dependent Types and Fibred Computational Effects (Q2811331) (← links)
- Computing over K-modules (Q2841256) (← links)
- Coalgebraic Monads (Q2842553) (← links)
- (Q2847810) (← links)
- (Q2848697) (← links)
- Positive Inductive-Recursive Definitions (Q2848936) (← links)
- (Q2863899) (← links)
- Refining Inductive Types (Q2890506) (← links)
- Fibrational Induction Meets Effects (Q2892757) (← links)
- Generic Fibrational Induction (Q2895473) (← links)
- Monadic augment and generalised short cut fusion (Q2936792) (← links)
- Parametric Polymorphism — Universally (Q2947462) (← links)
- Composing monads using coproducts (Q2949200) (← links)
- When Is a Type Refinement an Inductive Type? (Q3000600) (← links)
- (Q3024834) (← links)
- (Q3024906) (← links)
- Proof-Relevant Parametricity (Q3188282) (← links)
- Foundations for structured programming with GADTs (Q3189848) (← links)
- Representations of Stream Processors Using Nested Fixed Points (Q3401133) (← links)
- Fibrational Induction Rules for Initial Algebras (Q3586050) (← links)
- Higher Dimensional Trees, Algebraically (Q3612493) (← links)
- Initial Algebra Semantics Is Enough! (Q3612632) (← links)
- A UNIVERSE OF STRICTLY POSITIVE FAMILIES (Q3620616) (← links)
- (Q4219051) (← links)
- (Q4260707) (← links)
- (Q4362917) (← links)
- (Q4362961) (← links)
- Dualising initial algebras (Q4408809) (← links)
- Linear explicit substitutions (Q4444908) (← links)
- (Q4447251) (← links)
- Solving Algebraic Equations Using Coalgebra (Q4460687) (← links)
- On modular properties of higher order extensional lambda calculi (Q4571956) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- (Q4737122) (← links)
- (Q4825543) (← links)
- The virtues of eta-expansion (Q4850162) (← links)
- Algebras, Coalgebras, Monads and Comonads (Q4917035) (← links)
- Compositional Game Theory, Compositionally (Q5019677) (← links)
- (Q5020955) (← links)
- Variations on inductive-recursive definitions (Q5111280) (← links)
- Compositional Game Theory (Q5145322) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
- Positive Inductive-Recursive Definitions (Q5246718) (← links)
- Fibred Data Types (Q5271061) (← links)
