Kahle, R. (1999). A proof-theoretic view of intensionality. Proceedings of the Amsterdam Colloquium, 163-168. https://platform.openjournals.nl/PAC/article/view/23410