Pages that link to "Item:Q1099173"
From MaRDI portal
The following pages link to On the syntax of Martin-Löf's type theories (Q1099173):
Displaying 12 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)
- 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)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- Three extensional models of type theory (Q3625679) (← links)
- Algebra of constructions II: an algebraic approach to Martin-Löf type theory and the calculus of constructions (Q4279249) (← links)
