Neil Ghani
From MaRDI portal
Person:724934
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 | 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 with mixed strategies: probabilistic open games using a distributive law | 2022-01-07 | 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 |
| 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 |
| 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
