Kahle, R. A Proof-Theoretic View of Intensionality. Proceedings of the AC 1999, 163-168.