Pages that link to "Item:Q4248542"
From MaRDI portal
The following pages link to General synthetic domain theory – a logical approach (Q4248542):
Displaying 8 items.
- A synthetic theory of sequential domains (Q424548) (← links)
- Comparing free algebras in topological and classical domain theory (Q964484) (← links)
- Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
- A convenient category of domains (Q2864147) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- (Q3978973) (← links)
- The Scott model of PCF in univalent type theory (Q5055497) (← links)
- Continuous Domains in Formal Concept Analysis* (Q5164859) (← links)