1. Andrews, P.: Church’s type theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, summer, 2018th edn. Stanford University, Metaphysics Research Lab (2018)
2. Arieli, O., Straßer, C.: Sequent-based logical argumentation. Argum. Comput. 6(1), 73–99 (2015)
3. Baumberger, C., Brun, G.: Dimensions of objectual understanding. In: Explaining Understanding. New Perspectives from Epistemology and Philosophy of Science, pp. 165–189 (2016)
4. Baumgartner, M., Lampert, T.: Adequate formalization. Synthese 164(1), 93–115 (2008)
5. Bentert, M., Benzmüller, C., Streit, D., Woltzenlogel Paleo, B.: Analysis of an ontological proof proposed by Leibniz. In: Tandy, C. (ed.) Death and Anti-Death, Volume 14: Four Decades after Michael Polanyi, Three Centuries after G.W. Leibniz. Ria University Press (2016).
https://philpapers.org/rec/TANDAA-10