1. Andrews, P.: General models and extensionality. J. Symb. Log. 37(2), 395–397 (1972)
2. Andrews, P.: Church’s type theory. In: Zalta, E. N (ed.) The Stanford Encyclopedia of Philosophy, Summer 2018 edn. Metaphysics Research Lab, Stanford University (2018). https://plato.stanford.edu/archives/sum2018/entries/type-theory-church/
3. Barendregt, H., Dekkers, W., Statman, R.: Lambda Calculus with Types. Perspectives in Logic. Cambridge University Press, Cambridge (2013)
4. Benzmüller, C.: Automating quantified conditional logics in HOL. In: Rossi, F. (ed.) Proceedings of IJCAI-23. Beijing, China (2013)
5. Benzmüller, C.: Cut-elimination for quantified conditional logic. J. Philos. Log. 46, 333–353 (2016)