Minimal Type Theory (MTT)

Download Edit this record How to cite View on PhilPapers
Abstract
Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.
PhilPapers/Archive ID
PETMTT-4
Upload history
First archival date: 2017-03-20
Latest version: 42 (2017-04-14)
View other versions
Added to PP index
2017-03-20

Total views
529 ( #10,208 of 2,427,621 )

Recent downloads (6 months)
25 ( #30,030 of 2,427,621 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.