( en | de | ru )

 

Disambiguation of "Ghani, Neil"

Author of the publication

copydeleteadd this publication to your clipboard
Translating Extensive Form Games to Open Games with Agency.

, , , and . ACT, volume 372 of EPTCS, page 221-234. (2021)

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)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 compositional approach to economic game theory., and . CoRR, (2016)A principled approach to programming with nested types in Haskell., and . High. Order Symb. Comput., 22 (2): 155-189 (2009)Categorical Foundations of Gradient-Based Learning., , , , and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 1-28. Springer, (2022)Eta-Expansions in Fomega.. CSL, volume 1258 of Lecture Notes in Computer Science, page 182-197. Springer, (1996)On Modular Properties of Higher Order Extensional Lambda Calculi., and . ICALP, volume 1256 of Lecture Notes in Computer Science, page 237-247. Springer, (1997)Categorical Models of Explicit Substitutions., , and . FoSSaCS, volume 1578 of Lecture Notes in Computer Science, page 197-211. Springer, (1999)Foundations for structured programming with GADTs., and . POPL, page 297-308. ACM, (2008)Categories of Containers., , and . FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 23-38. Springer, (2003)