TY  - RPRT
TI  - Linear Realisability over nets: multiplicatives (long version)
AU  - Adrien Ragot
AU  - Thomas Seiller
AU  - Lorenzo Tortora de Falco
PY  - 2024
UR  - https://arxiv.org/abs/2411.17486
ID  - 2411.17486
ER  -