We stand with Ukraine  

Jules Chouquet

Orcid: 0000-0003-2676-0297

According to our database1, Jules Chouquet authored at least 5 papers between 2018 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets.
[BibTeX]
[DOI]
Jules Chouquet
,
Lionel Vaux Auclair
Log. Methods Comput. Sci., 2021

2020
Taylor expansion for Call-By-Push-Value.
[BibTeX]
[DOI]
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).
[BibTeX]
[DOI]
Jules Chouquet
PhD thesis, 2019

Taylor Expansion, Finiteness and Strategies.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Jules Chouquet
,
Lionel Vaux Auclair
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018


  Loading...