( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Containers: Constructing strictly positive types.

, , и . 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.

James Neil

Katharine Neil

Fatemeh Ghani

Henryk Neils

Mattis Neiling

 

Другие публикации лиц с тем же именем

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