( en | de | ru )

 

Disambiguation of "Ghani, Neil"

Author of the publication

copydeleteadd this publication to your clipboard
Containers: Constructing strictly positive types.

, , and . Theor. Comput. Sci., 342 (1): 3-27 (2005)

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 compositional approach to economic game theory., and . CoRR, (2016)Refining Inductive Types, , and . Logical Methods in Computer Science, (2012)Eta-Expansions in Dependent Type Theory - The Calculus of Constructions.. TLCA, volume 1210 of Lecture Notes in Computer Science, page 164-180. Springer, (1997)A principled approach to programming with nested types in Haskell., and . High. Order Symb. Comput., 22 (2): 155-189 (2009)Linear Explicit Substitutions., , and . Logic Journal of the IGPL, 8 (1): 7-31 (2000)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)Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law., , , and . ACT, volume 323 of EPTCS, page 95-105. (2019)Computing over K-modules., and . CATS, volume 61 of Electronic Notes in Theoretical Computer Science, page 34-50. Elsevier, (2002)