Pages that link to "Item:Q1886324"
From MaRDI portal
The following pages link to Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324):
Displaying 7 items.
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic (Q952487) (← links)
- Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Relating First-Order Set Theories and Elementary Toposes (Q3533518) (← links)
- A Brief Introduction to Algebraic Set Theory (Q3616432) (← links)
