TY  - RPRT
TI  - Relational type-checking for MELL proof-structures. Part 1: Multiplicatives
AU  - Giulio Guerrieri
AU  - Luc Pellissier
AU  - Lorenzo Tortora de Falco
PY  - 2016
UR  - https://arxiv.org/abs/1606.00280
ID  - 1606.00280
ER  -