TY  - RPRT
TI  - Skolemisation for Intuitionistic Linear Logic
AU  - Alessandro Bruni
AU  - Eike Ritter
AU  - Carsten Schürmann
PY  - 2024
UR  - https://arxiv.org/abs/2405.01375
ID  - 2405.01375
ER  -