An Analysis of Symmetry in Quantitative Semantics - Pierre Clairambault; Simon Forest (Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024, 2024)

An Analysis of Symmetry in Quantitative Semantics - Pierre Clairambault; Simon Forest (CoRR, 2024)

Towards computational methods for category theory - Simon Forest (CoRR, 2024)

The Cartesian Closed Bicategory of Thin Spans of Groupoids - Pierre Clairambault; Simon Forest (38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023, 2023)

The Cartesian Closed Bicategory of Thin Spans of Groupoids - Pierre Clairambault; Simon Forest (CoRR, 2023)

Dependent types and multi-monadic effects in F - Nikhil Swamy; Catalin Hritcu; Chantal Keller; Aseem Rastogi; Antoine Delignat-Lavaud; Simon Forest; Karthikeyan Bhargavan; Cédric Fournet; Pierre-Yves Strub; Markulf Kohlweiss; Jean Karim Zinzindohoue; Santiago Zanella-Béguelin (Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, 2016)