Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract)

Title: Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract)

Author, co-author: Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N.