Pages that link to "Item:Q5013911"
From MaRDI portal
The following pages link to On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics (Q5013911):
Displaying 4 items.
- An intuitionistic fixed point theory (Q1386672) (← links)
- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem (Q3507452) (← links)
- Explicit mathematics with the monotone fixed point principle (Q4212918) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)