Kahle, Reinhard. “A Proof-Theoretic View of Intensionality”. Proceedings of the Amsterdam Colloquium, Dec. 1999, pp. 163-8, https://platform.openjournals.nl/PAC/article/view/23410.