Edward N. Zalta
Identifiers
- name variant Edward N. Zalta 0.50 · backfill
Papers (1)
- Mechanizing Principia Logico-Metaphysica in Functional Type Theory cs.LO · 2017 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Christoph Benzm\"uller 1 shared papers
- Daniel Kirchner 1 shared papers