Vol-3586⫷ Vol-3587 ⫸Vol-3588
urn:nbn:de:0074-3587-0


Vol-3587/7265⫷Vol-3587/3998⫸Vol-3587/3553
Adrien RagotThomas SeillerLorenzo Tortora de Falco

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