TY  - RPRT
TI  - On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
AU  - Satoshi Matsuoka
PY  - 2026
UR  - https://arxiv.org/abs/2603.25337
ID  - 2603.25337
ER  -