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):
Displayed 4 items.
- 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)
- Relating First-Order Set Theories and Elementary Toposes (Q3533518) (← links)
- A Brief Introduction to Algebraic Set Theory (Q3616432) (← links)
