Research output per year
Research output per year
Search results
-
2024
Combining fixpoint and differentiation theory
Galal, Z. & Pacaud Lemay, J-S., 8 Jul 2024, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, New York: Association for Computing Machinery (ACM), p. 1-14 14 p. 37. (Proceedings - Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
Open AccessFile6 Downloads (Pure) -
Laplace distributors and Laplace transformations for differential categories
Kerjean, M. & Lemay, J-S. P., Jul 2024, FSCD 2024: 9th International Conference on Formal Structures for Computation and Deduction. Rehof, J. (ed.). Dagstuhl Publishing, p. 9:1–9:21 21 p. 9. (LIPIcs - Leibniz International Proceedings in Informatics; vol. 299).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
Open AccessFile2 Downloads (Pure) -
Reverse tangent categories
Cruttwell, G. & Lemay, J-S. P., Feb 2024, CSL 2024: 32nd EACSL Annual Conference on Computer Science Logic. Murano, A. & Silva, A. (eds.). Naples, Italy: Dagstuhl Publishing, p. 21:1-21:21 21 p. 21. (LIPIcs - Leibniz International Proceedings in Informatics; vol. 288).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
Open AccessFile10 Downloads (Pure) -
2023
Taylor expansion as a monad in models of DiLL
Kerjean, M. & Lemay, J. S. P., 2023, LICS 2023: 38th Annual ACM/IEEE Symposium on Logic in Computer Science. Boston, USA: Institute of Electrical and Electronics Engineers (IEEE), 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
3 Citations (Scopus)