( en | de | ru )

 

Disambiguation of "Ghani, Neil"

Author of the publication

copydeleteadd this publication to your clipboard
Refining Inductive Types

, , and . Logical Methods in Computer Science, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

James Neil

Katharine Neil

Fatemeh Ghani

Henryk Neils

Mattis Neiling

 

Other publications of authors with the same name

Generalizing the AUGMENT combinator., , and . Trends in Functional Programming, volume 5 of Trends in Functional Programming, page 65-78. Intellect, (2004)A principled approach to programming with nested types in Haskell., and . High. Order Symb. Comput., 22 (2): 155-189 (2009)Eta-Expansions in Dependent Type Theory - The Calculus of Constructions.. TLCA, volume 1210 of Lecture Notes in Computer Science, page 164-180. Springer, (1997)Linear Explicit Substitutions., , and . Logic Journal of the IGPL, 8 (1): 7-31 (2000)Refining Inductive Types, , and . Logical Methods in Computer Science, (2012)A compositional approach to economic game theory., and . CoRR, (2016)Compositional Game Theory, Compositionally., , , , , and . ACT, volume 333 of EPTCS, page 198-214. (2020)Categorical Foundations of Gradient-Based Learning., , , , and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 1-28. Springer, (2022)Computing over K-modules., and . CATS, volume 61 of Electronic Notes in Theoretical Computer Science, page 34-50. Elsevier, (2002)Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law., , , and . ACT, volume 323 of EPTCS, page 95-105. (2019)