( en | de | ru )

 

Disambiguierung von "Ghani, Neil"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Refining Inductive Types

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

James Neil

Katharine Neil

Fatemeh Ghani

Henryk Neils

Mattis Neiling

 

Weitere Publikationen von Autoren mit dem selben Namen

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