1. J.-M. Andreoli. 1992. Logic programming with focusing proofs in linear logic. (1992). J.-M. Andreoli. 1992. Logic programming with focusing proofs in linear logic. (1992).
2. R. Blute T. Ehrhard and C. Tasson. 2012. A convenient differential category. Cah. Topol. Géom. Différ. Catég. (2012). R. Blute T. Ehrhard and C. Tasson. 2012. A convenient differential category. Cah. Topol. Géom. Différ. Catég. (2012).
3. Y. Dabrowski and M. Kerjean. 2017. Models of Linear Logic based on the Schwartz epsilon product. (2017). arXiv:1712.07344 Y. Dabrowski and M. Kerjean. 2017. Models of Linear Logic based on the Schwartz epsilon product. (2017). arXiv:1712.07344
4. V. Danos T. Heindel I. Garnier and J. G. Simonsen. 2017. Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. In FOSSACS. 10.1007/978-3-662-54458-7_20 V. Danos T. Heindel I. Garnier and J. G. Simonsen. 2017. Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. In FOSSACS. 10.1007/978-3-662-54458-7_20
5. Solution of Some Problems of Division: Part I. Division by a Polynomial of Derivation