Pages that link to "Item:Q1099173"

The following pages link to On the syntax of Martin-Löf's type theories (Q1099173):

Displaying 22 items.

• Classical predicative logic-enriched type theories (Q636367) (← links)
• Categorical and algebraic aspects of Martin-Löf type theory (Q750438) (← links)
• Extended bar induction in applicative theories (Q753810) (← links)
• A note on Russell's paradox in locally Cartesian closed categories (Q914668) (← links)
• Domain interpretations of Martin-Löf's partial type theory (Q916656) (← links)
• On the strength of dependent products in the type theory of Martin-Löf (Q1024547) (← links)
• Possible forms of evaluation or reduction in Martin-Löf type theory (Q1087865) (← links)
• Derivation of a parsing algorithm in Martin-Löf's theory of types (Q1097045) (← links)
• An intuitionistic theory of types with assumptions of high-arity variables (Q1192333) (← links)
• Comprehension categories and the semantics of type dependency (Q1208414) (← links)
• Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
• Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
• Kripke Semantics for Martin-L\"of's Extensional Type Theory (Q3224684) (← links)
• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
• Three extensional models of type theory (Q3625679) (← links)
• Kripke Semantics for Martin-Löf’s Extensional Type Theory (Q3637199) (← links)
• A construction of type: type in Martin-Löf's partial type theory with one universe (Q3985097) (← links)
• Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions (Q4279249) (← links)
• The Friedman‐Translation for Martin‐Löf's Type Theory (Q4844507) (← links)
• ERRATA: "The paper: MARTIN-LOF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK" (Q5249285) (← links)
• (Q5286647) (← links)
• Martin-Löf identity types in C-systems (Q6139425) (← links)