TY  - RPRT
TI  - A Typing System for the Linear Lambda-Calculus in de Bruijn Notation
AU  - Philippe de Groote
AU  - Vincent Tourneur
PY  - 2026
DO  - 10.4204/eptcs.449.5
UR  - https://arxiv.org/abs/2607.20181
ID  - 2607.20181
ER  -