Kahle, R. (1999) “A proof-theoretic view of intensionality”, Proceedings of the Amsterdam Colloquium, pp. 163–168. doi:10.53437/12r8p478.