Pages that link to "Item:Q661282"
From MaRDI portal
The following pages link to Proof-relevance of families of setoids and identity in type theory (Q661282):
Displaying 7 items.
- Constructions of categories of setoids from proof-irrelevant families (Q512135) (← links)
- Categories with families and first-order logic with dependent sorts (Q2326422) (← links)
- (Q2980980) (← links)
- W-types in setoids (Q5155691) (← links)
- A generalization of the Takeuti–Gandy interpretation (Q5740650) (← links)
- From type theory to setoids and back (Q5889302) (← links)
- Sets completely separated by functions in Bishop set theory (Q6589312) (← links)
