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