Mechanizing Principia Logico-Metaphysica in Functional Type Theory.

Daniel Kirchner Christoph Benzmüller Edward N. Zalta

Published in: CoRR (2017)

Keyphrases

computer vision
real time
information retrieval
web services
case study
three dimensional
theoretical framework
theoretical basis
general theory
type checking