The following pages link to A Note on Forcing and Type Theory (Q3065010):
Displaying 5 items.
- Continuity of Gödel's system T definable functionals via effectful forcing (Q265800) (← links)
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- (Q5109510) (← links)
- A Computational Interpretation of Forcing in Type Theory (Q5253929) (← links)