The following pages link to (Q3702502):
Displaying 14 items.
- Interpretations of recursively defined types (Q685350) (← links)
- Remarks on Martin-Löf's partial type theory (Q688734) (← links)
- Do-it-yourself type theory (Q911744) (← links)
- The calculus of constructions (Q1108266) (← links)
- Independence results in computer science? (Q1158957) (← links)
- The extended calculus of constructions (ECC) with inductive types (Q1193601) (← links)
- Constructing type systems over an operational semantics (Q1199709) (← links)
- A note on complexity measures for inductive classes in constructive type theory (Q1271558) (← links)
- Logic of subtyping (Q2500487) (← links)
- (Q3432022) (← links)
- A Type of Partial Recursive Functions (Q3543653) (← links)
- (Q4790656) (← links)
- Type theory as a foundation for computer science (Q5096219) (← links)
- A set constructor for inductive sets in Martin-Löf's type theory (Q5096257) (← links)