TY - RPRT TI - A gentle introduction to Girard's Transcendental Syntax for the linear logician AU - Boris Eng PY - 2022 UR - https://arxiv.org/abs/2012.04752 ID - 2012.04752 ER -