Benzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Andrews, PeterPeterAndrews2024-01-262024-01-2620241095-5054https://fis.uni-bamberg.de/handle/uniba/93057substantive revision Jan 16, 2024engChurch’s Type Theoryarticlehttps://plato.stanford.edu/entries/type-theory-church/