An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets. - Jules Chouquet; Lionel Vaux Auclair (CSL, 2018)

Taylor Expansion, Finiteness and Strategies. - Jules Chouquet (MFPS, 2019)

Une géométrie du calcul : Réseaux de preuve, Appel-Par-Pousse-Valeuret Topologie du consensus. (A geometry of calculus). - Jules Chouquet (2019)

Taylor expansion for Call-By-Push-Value. - Jules Chouquet; Christine Tasson (CSL, 2020)

An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets. - Jules Chouquet; Lionel Vaux Auclair (Log. Methods Comput. Sci., 2021)

A Mechanized Formalization of an FRP Language with Effects. - Jordan Ischard; Frédéric Dabrowski; Jules Chouquet; Frédéric Loulergue (SAC, 2025)