Pages that link to "Item:Q5277837"
From MaRDI portal
The following pages link to The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation (Q5277837):
Displaying 17 items.
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- Univalent polymorphism (Q1987219) (← links)
- Formally computing with the non-computable (Q2117773) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
- Exercising Nuprl’s Open-Endedness (Q2819194) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- (Q5015363) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Continuous and monotone machines (Q5089226) (← links)
- Connectedness of the continuum in intuitionistic mathematics (Q5109234) (← links)
- (Q5109510) (← links)
- Extensional constructive real analysis via locators (Q5156769) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- On Small Types in Univalent Foundations (Q6135756) (← links)
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity (Q6597949) (← links)