( en | de | ru )

 

Disambiguation of "Ghani, Neil"

Author of the publication

copydeleteadd this publication to your clipboard
A relationally parametric model of dependent type theory.

, , and . POPL, page 503-516. ACM, (2014)

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)Categorical Foundations of Gradient-Based Learning., , , , and . ESOP, volume 13240 of Lecture Notes in Computer Science, page 1-28. Springer, (2022)A compositional approach to economic game theory., and . CoRR, (2016)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)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)Eta-Expansions in Fomega.. CSL, volume 1258 of Lecture Notes in Computer Science, page 182-197. Springer, (1996)Coproducts of Ideal Monads (Extended Abstract)., and . FICS, page 32-36. University of Warsaw, (2003)Categories of Containers., , and . FoSSaCS, volume 2620 of Lecture Notes in Computer Science, page 23-38. Springer, (2003)