Kahle, R. (1999) “A proof-theoretic view of intensionality”, Proceedings of the Amsterdam Colloquium, pp. 163–168. Available at: https://platform.openjournals.nl/PAC/article/view/23410 (Accessed: 5 December 2025).