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 11 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)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Continuous and monotone machines (Q5089226) (← links)
- Connectedness of the continuum in intuitionistic mathematics (Q5109234) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- On Small Types in Univalent Foundations (Q6135756) (← links)
