Pages that link to "Item:Q678839"
From MaRDI portal
The following pages link to Two models of synthetic domain theory (Q678839):
Displaying 9 items.
- A synthetic theory of sequential domains (Q424548) (← links)
- Computer theorem proving in mathematics (Q704001) (← links)
- Categories of embeddings (Q1263665) (← links)
- Left and right adjoint operations on spaces and data types (Q1434353) (← links)
- Axioms and (counter)examples in synthetic domain theory (Q1577485) (← links)
- (Q3978973) (← links)
- Domains in \(H\) (Q5941556) (← links)
- An exper model for Quest (Q6116585) (← links)
- Concrete categories and higher-order recursion. With applications including probability, differentiability, and full abstraction (Q6649494) (← links)