The following pages link to (Q3978973):
Displaying 26 items.
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- A synthetic theory of sequential domains (Q424548) (← links)
- Observationally-induced lower and upper powerspace constructions (Q492906) (← links)
- Metric spaces in synthetic topology (Q651311) (← links)
- Two models of synthetic domain theory (Q678839) (← links)
- A presentation of the initial lift-algebra (Q678845) (← links)
- Repleteness and the associated sheaf (Q1295499) (← links)
- A type-theoretical alternative to ISWIM, CUCH, OWHY (Q1314363) (← links)
- Axioms and (counter)examples in synthetic domain theory (Q1577485) (← links)
- On fixed-point theorems in synthetic computability (Q1683373) (← links)
- The sequentially realizable functionals (Q1849853) (← links)
- Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
- The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← links)
- Sobriety for equilogical spaces (Q2253179) (← links)
- A Convenient Category of Domains (Q2864147) (← links)
- Observationally-induced Effects in Cartesian Closed Categories (Q3178272) (← links)
- (Q4555333) (← links)
- Quotienting the delay monad by weak bisimilarity (Q4559601) (← links)
- Foundations of dependent interoperability (Q4577812) (← links)
- Denotational semantics of recursive types in synthetic guarded domain theory (Q4623133) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- The S-replete construction (Q5057468) (← links)
- Lifting as a KZ-doctrine (Q5057470) (← links)
- Relational Parametricity for Control Considered as a Computational Effect (Q5262944) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
- Domains in \(H\) (Q5941556) (← links)
