%0 Conference Paper %1 conf/ictcs/RagotSF23 %A Ragot, Adrien %A Seiller, Thomas %A de Falco, Lorenzo Tortora %B ICTCS %D 2023 %E Castiglione, Giuseppa %E Sciortino, Marinella %I CEUR-WS.org %K dblp %P 59-64 %T Linear Realisability Over Nets and Second Order Quantification (short paper). %U http://dblp.uni-trier.de/db/conf/ictcs/ictcs2023.html#RagotSF23 %V 3587

@inproceedings{conf/ictcs/RagotSF23, added-at = {2023-12-18T00:00:00.000+0100}, author = {Ragot, Adrien and Seiller, Thomas and de Falco, Lorenzo Tortora}, biburl = {https://www.bibsonomy.org/bibtex/212173be3d086329d3721cc0b992415c8/dblp}, booktitle = {ICTCS}, crossref = {conf/ictcs/2023}, editor = {Castiglione, Giuseppa and Sciortino, Marinella}, ee = {https://ceur-ws.org/Vol-3587/3998.pdf}, interhash = {94d5fdf379ca1b3038a8013931a39ee0}, intrahash = {12173be3d086329d3721cc0b992415c8}, keywords = {dblp}, pages = {59-64}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T18:17:25.000+0200}, title = {Linear Realisability Over Nets and Second Order Quantification (short paper).}, url = {http://dblp.uni-trier.de/db/conf/ictcs/ictcs2023.html#RagotSF23}, volume = 3587, year = 2023 }