TY  - RPRT
TI  - Deriving Theorems in Implicational Linear Logic, Declaratively
AU  - Paul Tarau
AU  - Valeria de Paiva
PY  - 2020
DO  - 10.4204/eptcs.325.18
UR  - https://arxiv.org/abs/2009.10241
ID  - 2009.10241
ER  -