Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Andrews, PeterPeterAndrews2022-12-232022-12-2320191095-5054https://fis.uni-bamberg.de/handle/uniba/57405engChurch's Type Theoryarticlehttps://plato.stanford.edu/entries/type-theory-church/