Jules Chouquet

According to our database, Jules Chouquet authored at least 6 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

A Mechanized Formalization of an FRP Language with Effects.

Jordan Ischard, Frédéric Dabrowski, Jules Chouquet, Frédéric Loulergue

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025

2021

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

2020

Taylor expansion for Call-By-Push-Value.

Jules Chouquet, Christine Tasson

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

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

Jules Chouquet

PhD thesis, 2019

Taylor Expansion, Finiteness and Strategies.

Jules Chouquet

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

2018

An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets.

Jules Chouquet, Lionel Vaux Auclair

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018