Adrien Ragot

According to our database, Adrien Ragot authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Linear Realisability Over Nets and Second Order Quantification (short paper).

Adrien Ragot, Thomas Seiller, Lorenzo Tortora de Falco

Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023