Pages that link to "Item:Q5253929"
From MaRDI portal
The following pages link to A Computational Interpretation of Forcing in Type Theory (Q5253929):
Displaying 6 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)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- (Q5109510) (← links)
- (Q5129941) (← links)
