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 8 items.
- 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)
