Add to ORKGMinimal 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
Formal semantics based on Modern Type Theories (MTTs) provides us with not only a viable alternative...
We define a shallow embedding of logical proof-irrelevant Pure Type Systems (piPTSs) into minimal fi...
Minimalism about truth is one of the main contenders for our best theory of truth, but minimalists f...
Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level...
Minimal Type Theory (MTT) shows exactly how all of the constituent parts of an expression relate to ...
This is the formal YACC BNF specification for Minimal Type Theory (MTT). MTT was created by augment...
peer reviewedChurch’s type theory, aka simple type theory, is a formal logical language which includ...
The univalence axiom expresses the principle of extensionality for dependent type theory. However, i...
We build a Kleene realizability semantics for the two-level Minimalist Foundation MF, ideated by Mai...
AbstractWe study an extension of the second-order calculus of bounded quantification, System F⩽, wit...
We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introdu...
theory of naïve natural kind categorization in which people make categorization decisions based sole...
Then what? Explain that MTTs provide Full-scale powerful alternative to Montague semantics Advanta...
Consistency with the formal Church\u2019s thesis, for short CT, and the axiom of choice, for short A...
Formal semantics based on Modern Type Theories (MTTs) provides us with not only a viable alternative...
We define a shallow embedding of logical proof-irrelevant Pure Type Systems (piPTSs) into minimal fi...
Minimalism about truth is one of the main contenders for our best theory of truth, but minimalists f...
Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level...
Minimal Type Theory (MTT) shows exactly how all of the constituent parts of an expression relate to ...
This is the formal YACC BNF specification for Minimal Type Theory (MTT). MTT was created by augment...
peer reviewedChurch’s type theory, aka simple type theory, is a formal logical language which includ...
The univalence axiom expresses the principle of extensionality for dependent type theory. However, i...
We build a Kleene realizability semantics for the two-level Minimalist Foundation MF, ideated by Mai...
AbstractWe study an extension of the second-order calculus of bounded quantification, System F⩽, wit...
We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introdu...
theory of naïve natural kind categorization in which people make categorization decisions based sole...
Then what? Explain that MTTs provide Full-scale powerful alternative to Montague semantics Advanta...
Consistency with the formal Church\u2019s thesis, for short CT, and the axiom of choice, for short A...
Formal semantics based on Modern Type Theories (MTTs) provides us with not only a viable alternative...
We define a shallow embedding of logical proof-irrelevant Pure Type Systems (piPTSs) into minimal fi...
Minimalism about truth is one of the main contenders for our best theory of truth, but minimalists f...
