Adrien Ragot

According to our database¹, Adrien Ragot authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Linear Realisability over Nets: Multiplicatives.

[BibT_eX]

[DOI]

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Linear Realisability over nets: multiplicatives (long version).

[BibT_eX]

[DOI]

CoRR, 2024

2023

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

[BibT_eX]

[DOI]

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