Pages that link to "Item:Q916656"
From MaRDI portal
The following pages link to Domain interpretations of Martin-Löf's partial type theory (Q916656):
Displaying 13 items.
- The paradox of trees in type theory (Q688725) (← links)
- Remarks on Martin-Löf's partial type theory (Q688734) (← links)
- Concrete models of computation for topological algebras (Q1292413) (← links)
- Well-ordering proofs for Martin-Löf type theory (Q1295372) (← links)
- Computational foundations of basic recursive function theory (Q1314348) (← links)
- A natural semantics of first-order type dependency (Q1314402) (← links)
- Game semantics for dependent types (Q1641014) (← links)
- A type theoretic interpretation of constructive domain theory (Q1923827) (← links)
- An adequacy theorem for dependent type theory (Q2311883) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) (← links)
- Games for Dependent Types (Q3449463) (← links)
- Hyperfinite type structures (Q4934036) (← links)
- Game semantics of Martin-Löf type theory (Q6190409) (← links)
