Neil Ghani
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Translating extensive form games to open games with agency (available as arXiv preprint) | 2024-02-13 | Paper |
| Translating extensive form games to open games with agency | 2024-02-13 | Paper |
| Infinite Horizon Extensive Form Games, Coalgebraically Mathematics for Computation (M4C) | 2023-08-04 | Paper |
| Categorical foundations of gradient-based learning Programming Languages and Systems | 2023-08-03 | Paper |
| Compositional game theory, compositionally | 2022-01-10 | Paper |
| Compositional game theory, compositionally (available as arXiv preprint) | 2022-01-10 | Paper |
| Compositional game theory with mixed strategies: probabilistic open games using a distributive law | 2022-01-07 | Paper |
| Compositional game theory with mixed strategies: probabilistic open games using a distributive law (available as arXiv preprint) | 2022-01-07 | Paper |
| Compositional game theory Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| Compositional game theory Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| Variations on inductive-recursive definitions | 2020-05-26 | Paper |
| Universal properties for universal types in bifibrational parametricity Mathematical Structures in Computer Science | 2019-05-27 | Paper |
| Three Equivalent Ordinal Notation Systems in Cubical Agda | 2019-04-24 | Paper |
| A compositional treatment of iterated open games Theoretical Computer Science | 2018-07-26 | Paper |
| On modular properties of higher order extensional lambda calculi Automata, Languages and Programming | 2018-07-04 | Paper |
| Indexed containers Journal of Functional Programming | 2017-10-23 | Paper |
| Models for polymorphism over physical dimension | 2017-07-12 | Paper |
| Fibred data types 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
| Bifibrational functorial semantics of parametric polymorphism Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
| Proof-Relevant Parametricity A List of Successes That Can Change the World | 2016-08-17 | Paper |
| Containers, monads and induction recursion Mathematical Structures in Computer Science | 2016-07-28 | Paper |
| Dependent types and fibred computational effects Lecture Notes in Computer Science | 2016-06-10 | Paper |
| Comprehensive Parametric Polymorphism: Categorical Models and Type Theory Lecture Notes in Computer Science | 2016-06-10 | Paper |
| Continuous functions on final coalgebras Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
| Composing monads using coproducts Proceedings of the seventh ACM SIGPLAN international conference on Functional programming | 2015-10-07 | Paper |
| Parametric Polymorphism — Universally Logic, Language, Information, and Computation | 2015-09-24 | Paper |
| Positive inductive-recursive definitions Logical Methods in Computer Science | 2015-04-22 | Paper |
| Monadic augment and generalised short cut fusion Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Foundations for structured programming with GADTs Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Modularity and implementation of mathematical operational semantics Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
| A relationally parametric model of dependent type theory Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Continuous functions on final coalgebras | 2013-12-04 | Paper |
| Difunctorial semantics of object calculus | 2013-09-26 | Paper |
| Positive inductive-recursive definitions Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
| Relationally staged computations in calculi of mobile processes | 2013-09-11 | Paper |
| Indexed induction and coinduction, fibrationally Logical Methods in Computer Science | 2013-09-06 | Paper |
| Coalgebraic monads Electronic Notes in Theoretical Computer Science | 2013-08-15 | Paper |
| Computing over \(K\)-modules Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
| Small induction recursion Lecture Notes in Computer Science | 2013-06-28 | Paper |
| Algebras, coalgebras, monads and comonads Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
| Generic fibrational induction Logical Methods in Computer Science | 2012-07-03 | Paper |
| Fibrational induction meets effects Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
| Refining inductive types Logical Methods in Computer Science | 2012-06-11 | Paper |
| Indexed induction and coinduction, fibrationally Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
| When Is a Type Refinement an Inductive Type? Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
| Fibrational induction rules for initial algebras Computer Science Logic | 2010-09-03 | Paper |
| A principled approach to programming with nested types in Haskell Higher-Order and Symbolic Computation | 2010-03-05 | Paper |
| Representations of stream processors using nested fixed points Logical Methods in Computer Science | 2010-01-28 | Paper |
| A UNIVERSE OF STRICTLY POSITIVE FAMILIES International Journal of Foundations of Computer Science | 2009-04-14 | Paper |
| Initial Algebra Semantics Is Enough! Lecture Notes in Computer Science | 2009-03-10 | Paper |
| Higher Dimensional Trees, Algebraically Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
| Proving Properties about Lists Using Containers Functional and Logic Programming | 2008-04-11 | Paper |
| Monadic augment and generalised short cut fusion Journal of Functional Programming | 2007-11-22 | Paper |
| String rewriting for double coset systems. Journal of Symbolic Computation | 2007-10-23 | Paper |
| Explicit substitutions and higher-order syntax Higher-Order and Symbolic Computation | 2006-11-17 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2005-08-17 | Paper |
| Monads of coalgebras: rational terms and term graphs Mathematical Structures in Computer Science | 2005-08-03 | Paper |
| scientific article; zbMATH DE number 2185660 (Why is no real title available?) | 2005-07-04 | Paper |
| scientific article; zbMATH DE number 2185714 (Why is no real title available?) | 2005-07-04 | Paper |
| Coproducts of Ideal Monads RAIRO - Theoretical Informatics and Applications | 2005-03-21 | Paper |
| Coproducts of Ideal Monads RAIRO - Theoretical Informatics and Applications | 2005-03-21 | Paper |
| Coproducts of Ideal Monads RAIRO - Theoretical Informatics and Applications | 2005-03-21 | Paper |
| scientific article; zbMATH DE number 2111734 (Why is no real title available?) | 2004-10-28 | Paper |
| scientific article; zbMATH DE number 2086588 (Why is no real title available?) | 2004-08-11 | Paper |
| Solving Algebraic Equations Using Coalgebra RAIRO - Theoretical Informatics and Applications | 2004-03-29 | Paper |
| Solving Algebraic Equations Using Coalgebra RAIRO - Theoretical Informatics and Applications | 2004-03-29 | Paper |
| Solving Algebraic Equations Using Coalgebra RAIRO - Theoretical Informatics and Applications | 2004-03-29 | Paper |
| scientific article; zbMATH DE number 2043547 (Why is no real title available?) | 2004-02-16 | Paper |
| Linear explicit substitutions Logic Journal of the IGPL | 2004-01-28 | Paper |
| Dualising initial algebras Mathematical Structures in Computer Science | 2003-10-13 | Paper |
| scientific article; zbMATH DE number 1330136 (Why is no real title available?) | 1999-11-22 | Paper |
| scientific article; zbMATH DE number 1223735 (Why is no real title available?) | 1998-11-15 | Paper |
| scientific article; zbMATH DE number 1086712 (Why is no real title available?) | 1998-06-11 | Paper |
| scientific article; zbMATH DE number 1086667 (Why is no real title available?) | 1997-11-13 | Paper |
| The virtues of eta-expansion Journal of Functional Programming | 1995-10-09 | Paper |
Research outcomes over time
This page was built for person: Neil Ghani
