The following pages link to Jonas Frey (Q476120):
Displaying 11 items.
- Triposes, q-toposes and toposes (Q476121) (← links)
- Characterizing partitioned assemblies and realizability toposes (Q1713020) (← links)
- Classical realizability in the CPS target language (Q1744381) (← links)
- Categories of partial equivalence relations as localizations (Q2699426) (← links)
- Ordered combinatory algebras and realizability (Q2973254) (← links)
- Triposes as a generalization of localic geometric morphisms (Q5084312) (← links)
- Impredicative Encodings of (Higher) Inductive Types (Q5145279) (← links)
- Realizability Toposes from Specifications (Q5277840) (← links)
- Constructing coproducts in locally Cartesian closed \(\infty\)-categories (Q6039222) (← links)
- Uniform Preorders and Partial Combinatory Algebras (Q6527692) (← links)
- Optimal stopping in a dynamic salience model (Q6572253) (← links)