The following pages link to (Q3693527):
Displaying 8 items.
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Another proof of the intuitionistic Ramsey theorem (Q685402) (← links)
- A sheaf-theoretic foundation for nonstandard analysis (Q1356978) (← links)
- Cartesian logic (Q1605480) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- (Q5109510) (← links)