Accéder directement au contenu

Thomas Seiller

2
Documents

Publications

66001
"adrien-ragot"
Image document

Linear realisability over nets and second order quantification

Adrien Ragot , Thomas Seiller , Lorenzo Tortora de Falco
Trends in Linear Logic and Applications, Jul 2023, Rome, Italy
Communication dans un congrès hal-04131640v1