Kahle, R. 1999. A proof-theoretic view of intensionality. Proceedings of the Amsterdam Colloquium. (Dec. 1999), 163–168.