Jules Chouquet

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 5

Top Topics

Proof Theoretic

Cut Elimination

Image Segmentation

Top Venues

Log. Methods Comput. Sci.

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Jules Chouquet, Lionel Vaux Auclair
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets. Log. Methods Comput. Sci. 17 (4) (2021)
Jules Chouquet, Christine Tasson
Taylor expansion for Call-By-Push-Value. CSL (2020)
Jules Chouquet
Taylor Expansion, Finiteness and Strategies. MFPS (2019)
Jules Chouquet, Lionel Vaux Auclair
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets. CoRR (2019)
Jules Chouquet, Lionel Vaux Auclair
An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets. CSL (2018)