Kirchner, DanielDanielKirchnerBenzmüller, ChristophChristophBenzmüller0000-0002-3392-3093Zalta, Edward N.Edward N.Zalta2022-07-122022-07-1220191755-02111755-02031755-0211https://fis.uni-bamberg.de/handle/uniba/54511engMechanizing prinzipia Logico-Metaphysica in functional type-theoryarticle10.1017/S1755020319000297