Strong Typed Böhm Theorem and Functional Completeness on the Linear Lambda Calculus - Satoshi Matsuoka (Open Publishing Association, 2016)