TY  - RPRT
TI  - Mechanizing Principia Logico-Metaphysica in Functional Type Theory
AU  - Daniel Kirchner
AU  - Christoph Benzmüller
AU  - Edward N. Zalta
PY  - 2019
DO  - 10.1017/s1755020319000297
UR  - https://arxiv.org/abs/1711.06542
ID  - 1711.06542
ER  -