Author:
Kerjean Marie,Pacaud Lemay Jean-Simon
Publisher
Springer International Publishing
Reference21 articles.
1. Blass, A.: A game semantics for linear logic. Ann. Pure Appl. Logic 56(1), 183–220 (1992). https://doi.org/10.1016/0168-0072(92)90073-9
2. Blute, R., Ehrhard, T., Tasson, C.: A convenient differential category. Cah. Topol. Géom. Différ. Catég. (2012)
3. Blute, R.F., Cockett, J.R.B., Seely, R.A.G.: Differential categories. Math. Struct. Comput. Sci. 16, 6 (2006). https://doi.org/10.1017/S0960129506005676
4. Church, A.: A formulation of the simple theory of types. J. Symb. Logic 5(2), 56–68 (1940)
5. Ehrhard, T.: On Köthe sequence spaces and linear logic. Math. Struct. Comput. Sci. 12(5), 579–623 (2002)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stabilized profunctors and stable species of structures;Logical Methods in Computer Science;2024-02-29
2. Taylor Expansion as a Monad in Models of DiLL;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26