The following pages link to Continuous Truth II: Reflections (Q2849429):
Displaying 6 items.
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- (Q3305542) (← links)
- (Q3693527) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- (Q5109510) (← links)