Linear Realisability Over Nets and Second Order Quantification (short paper). - Adrien Ragot; Thomas Seiller; Lorenzo Tortora de Falco (ICTCS, 2023)

Linear Realisability over nets: multiplicatives (long version). - Adrien Ragot; Thomas Seiller; Lorenzo Tortora de Falco (CoRR, 2024)

Linear Realisability over Nets: Multiplicatives. - Adrien Ragot; Thomas Seiller; Lorenzo Tortora de Falco (CSL, 2025)