ßn-Equality for Coproducts. - Neil Ghani (TLCA, 1995)

The Virtues of Eta-Expansion. - C. Barry Jay; Neil Ghani (J. Funct. Program., 1995)

Eta-Expansions in Fomega. - Neil Ghani (CSL, 1996)

Monads and Modular Term Rewriting. - Christoph Lüth; Neil Ghani (Category Theory and Computer Science, 1997)

On Modular Properties of Higher Order Extensional Lambda Calculi. - Roberto Di Cosmo; Neil Ghani (ICALP, 1997)

Eta-Expansions in Dependent Type Theory - The Calculus of Constructions. - Neil Ghani (TLCA, 1997)

Explicit Substitutions for Constructive Necessity. - Neil Ghani; Valeria de Paiva; Eike Ritter (ICALP, 1998)

Categorical Models of Explicit Substitutions. - Neil Ghani; Valeria de Paiva; Eike Ritter (FoSSaCS, 1999)

Linear Explicit Substitutions. - Neil Ghani; Valeria de Paiva; Eike Ritter (Log. J. IGPL, 2000)

Algebras, Coalgebras, Monads and Comonads. - Neil Ghani; Christoph Lüth; Federico De Marchi; John Power (CMCS, 2001)

Coalgebraic approaches to algebraic terms. - Neil Ghani; Christoph Lüth; Federico De Marchi (FICS, 2002)

Monads and Modularity. - Christoph Lüth; Neil Ghani (FroCoS, 2002)

Composing monads using coproducts. - Christoph Lüth; Neil Ghani (ICFP, 2002)

Computing over K-modules. - Neil Ghani; Anne Heyworth (CATS, 2002)

Coalgebraic Monads. - Neil Ghani; Christoph Lüth; Federico De Marchi (CMCS, 2002)

Coproducts of Ideal Monads (Extended Abstract). - Neil Ghani; Tarmo Uustalu (FICS, 2003)

Categories of Containers. - Michael Gordon Abbott; Thorsten Altenkirch; Neil Ghani (FoSSaCS, 2003)

Explicit substitutions and higher-order syntax. - Neil Ghani; Tarmo Uustalu (MERLIN, 2003)

A Rewriting Alternative to Reidemeister-Schreier. - Neil Ghani; Anne Heyworth (RTA, 2003)

Derivatives of Containers. - Michael Gordon Abbott; Thorsten Altenkirch; Neil Ghani; Conor McBride (TLCA, 2003)

Solving Algebraic Equations Using Coalgebra. - Federico De Marchi; Neil Ghani; Christoph Lüth (RAIRO Theor. Informatics Appl., 2003)

Dualising Initial Algebras. - Neil Ghani; Christoph Lüth; Federico De Marchi; John Power (Math. Struct. Comput. Sci., 2003)

Rewriting Via Coinserters. - Neil Ghani; Christoph Lüth (Nord. J. Comput., 2003)

Build, Augment and Destroy, Universally. - Neil Ghani; Tarmo Uustalu; Varmo Vene (APLAS, 2004)

Representing Nested Inductive Types Using W-Types. - Michael Gordon Abbott; Thorsten Altenkirch; Neil Ghani (ICALP, 2004)

Constructing Polymorphic Programs with Quotient Types. - Michael Gordon Abbott; Thorsten Altenkirch; Neil Ghani; Conor McBride (MPC, 2004)

Generalizing the AUGMENT combinator. - Neil Ghani; Tarmo Uustalu; Varmo Vene (Trends in Functional Programming, 2004)

Relationally Staged Computations in Calculi of Mobile Processes. - Neil Ghani; Kidane Yemane; Björn Victor (CMCS, 2004)

Difunctorial Semantics of Object Calculus. - Johan Glimming; Neil Ghani (WOOD, 2004)

Coproducts of Ideal Monads. - Neil Ghani; Tarmo Uustalu (RAIRO Theor. Informatics Appl., 2004)

Monadic augment and generalised short cut fusion. - Neil Ghani; Patricia Johann; Tarmo Uustalu; Varmo Vene (ICFP, 2005)

Abstract Modularity. - Michael Gordon Abbott; Neil Ghani; Christoph Lüth (RTA, 2005)

for Data: Differentiating Data Structures. - Michael Gordon Abbott; Thorsten Altenkirch; Conor McBride; Neil Ghani (Fundam. Informaticae, 2005)

Monads of coalgebras: rational terms and term graphs. - Neil Ghani; Christoph Lüth; Federico De Marchi (Math. Struct. Comput. Sci., 2005)

Containers: Constructing strictly positive types. - Michael Gordon Abbott; Thorsten Altenkirch; Neil Ghani (Theor. Comput. Sci., 2005)

Continuous Functions on Final Coalgebras. - Neil Ghani; Peter G. Hancock; Dirk Pattinson (CMCS, 2006)

Preface. - Neil Ghani; John Power (CMCS, 2006)

String rewriting for double coset systems. - Ronald Brown; Neil Ghani; Anne Heyworth; Christopher D. Wensley (J. Symb. Comput., 2006)

Explicit substitutions and higher-order syntax. - Neil Ghani; Tarmo Uustalu; Makoto Hamana (High. Order Symb. Comput., 2006)

Higher Dimensional Trees, Algebraically. - Neil Ghani; Alexander Kurz 001 (CALCO, 2007)

Constructing Strictly Positive Families. - Peter Morris; Thorsten Altenkirch; Neil Ghani (CATS, 2007)

Initial Algebra Semantics Is Enough! - Patricia Johann; Neil Ghani (TLCA, 2007)

Monadic augment and generalised short cut fusion. - Neil Ghani; Patricia Johann (J. Funct. Program., 2007)

Proving Properties about Lists Using Containers. - Rawle C. S. Prince; Neil Ghani; Conor McBride (FLOPS, 2008)

Foundations for structured programming with GADTs. - Patricia Johann; Neil Ghani (POPL, 2008)

Short Cut Fusion for Effects. - Neil Ghani; Patricia Johann (Trends in Functional Programming, 2008)

Modularity and Implementation of Mathematical Operational Semantics. - Mauro Jaskelioff; Neil Ghani; Graham Hutton (MSFP@ICALP, 2008)

Representations of Stream Processors Using Nested Fixed Points - Neil Ghani; Peter G. Hancock; Dirk Pattinson (Log. Methods Comput. Sci., 2009)

A Universe of Strictly Positive Families. - Peter Morris; Thorsten Altenkirch; Neil Ghani (Int. J. Found. Comput. Sci., 2009)

A principled approach to programming with nested types in Haskell. - Patricia Johann; Neil Ghani (High. Order Symb. Comput., 2009)

Fibrational Induction Rules for Initial Algebras. - Neil Ghani; Patricia Johann; Clément Fumex (CSL, 2010)

When Is a Type Refinement an Inductive Type? - Robert Atkey; Patricia Johann; Neil Ghani (FoSSaCS, 2011)

Fibrational Induction Meets Effects. - Robert Atkey; Neil Ghani; Bart Jacobs 001; Patricia Johann (FoSSaCS, 2012)

Refining Inductive Types - Robert Atkey; Patricia Johann; Neil Ghani (Log. Methods Comput. Sci., 2012)

Generic Fibrational Induction - Neil Ghani; Patricia Johann; Clément Fumex (Log. Methods Comput. Sci., 2012)

Fibred Data Types. - Neil Ghani; Lorenzo Malatesta; Fredrik Nordvall Forsberg; Anton Setzer (LICS, 2013)

Small Induction Recursion. - Peter G. Hancock; Conor McBride; Neil Ghani; Lorenzo Malatesta; Thorsten Altenkirch (TLCA, 2013)

Indexed Induction and Coinduction, Fibrationally. - Neil Ghani; Patricia Johann; Clément Fumex (Log. Methods Comput. Sci., 2013)

A relationally parametric model of dependent type theory. - Robert Atkey; Neil Ghani; Patricia Johann (POPL, 2014)

Models for Polymorphism over Physical Dimension. - Robert Atkey; Neil Ghani; Fredrik Nordvall Forsberg; Timothy Revell; Sam Staton (TLCA, 2015)

Parametric Polymorphism - Universally. - Neil Ghani; Fredrik Nordvall Forsberg; Federico Orsanigo (WoLLIC, 2015)

Positive Inductive-Recursive Definitions. - Neil Ghani; Lorenzo Malatesta; Fredrik Nordvall Forsberg (Log. Methods Comput. Sci., 2015)

Bifibrational Functorial Semantics of Parametric Polymorphism. - Neil Ghani; Patricia Johann; Fredrik Nordvall Forsberg; Federico Orsanigo; Tim Revell (MFPS, 2015)

Indexed containers. - Thorsten Altenkirch; Neil Ghani; Peter G. Hancock; Conor McBride; Peter Morris (J. Funct. Program., 2015)

Proof-Relevant Parametricity. - Neil Ghani; Fredrik Nordvall Forsberg; Federico Orsanigo (A List of Successes That Can Change the World, 2016)

Dependent Types and Fibred Computational Effects. - Danel Ahman; Neil Ghani; Gordon D. Plotkin (FoSSaCS, 2016)

Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. - Neil Ghani; Fredrik Nordvall Forsberg; Alex Simpson (FoSSaCS, 2016)

A compositional approach to economic game theory. - Neil Ghani; Jules Hedges (CoRR, 2016)

Containers, monads and induction recursion. - Neil Ghani; Peter G. Hancock (Math. Struct. Comput. Sci., 2016)

Polytypic Genetic Programming. - Jerry Swan; Krzysztof Krawiec; Neil Ghani (EvoApplications (2), 2017)

Variations on Inductive-Recursive Definitions. - Neil Ghani; Conor McBride; Fredrik Nordvall Forsberg; Stephan Spahn (MFCS, 2017)

Compositional Game Theory. - Neil Ghani; Jules Hedges; Viktor Winschel; Philipp Zahn (LICS, 2018)

A compositional treatment of iterated open games. - Neil Ghani; Clemens Kupke; Alasdair Lambert; Fredrik Nordvall Forsberg (Theor. Comput. Sci., 2018)

Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law. - Neil Ghani; Clemens Kupke; Alasdair Lambert; Fredrik Nordvall Forsberg (ACT, 2019)

Universal properties for universal types in bifibrational parametricity. - Neil Ghani; Fredrik Nordvall Forsberg; Federico Orsanigo (Math. Struct. Comput. Sci., 2019)

Three equivalent ordinal notation systems in cubical Agda. - Fredrik Nordvall Forsberg; Chuangjie Xu; Neil Ghani (CPP, 2020)

Compositional Game Theory, Compositionally. - Robert Atkey; Bruno Gavranovic; Neil Ghani; Clemens Kupke; Jérémy Ledent; Fredrik Nordvall Forsberg (ACT, 2020)

Translating Extensive Form Games to Open Games with Agency. - Matteo Capucci; Neil Ghani; Jérémy Ledent; Fredrik Nordvall Forsberg (ACT, 2021)

Categorical Foundations of Gradient-Based Learning. - Geoffrey S. H. Cruttwell; Bruno Gavranovic; Neil Ghani; Paul W. Wilson 002; Fabio Zanasi (ESOP, 2022)

Deep Learning with Parametric Lenses. - Geoffrey S. H. Cruttwell; Bruno Gavranovic; Neil Ghani; Paul W. Wilson 002; Fabio Zanasi (CoRR, 2024)

A Fibrational Theory of First Order Differential Structures. - Matteo Capucci; Geoffrey S. H. Cruttwell; Neil Ghani; Fabio Zanasi (CoRR, 2024)

Filter Equivariant Functions: A symmetric account of length-general extrapolation on lists. - Owen Lewis; Neil Ghani; Andrew Dudzik; Christos Perivolaropoulos; Razvan Pascanu; Petar Velickovic (CoRR, 2025)