The following pages link to Martín Hötzel Escardó (Q168355):
Displaying 33 items.
- (Q265799) (redirect page) (← links)
- 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)
- The intrinsic topology of Martin-Löf universes (Q290640) (← links)
- The Peirce translation (Q408162) (← links)
- Operational domain theory and topology of sequential programming languages (Q1013087) (← links)
- Induction and recursion on the partial real line with applications to Real PCF (Q1274810) (← links)
- Properly injective spaces and function spaces (Q1295213) (← links)
- The way-below relation of function spaces over semantic domains (Q1295215) (← links)
- PCF extended with real numbers (Q1349926) (← links)
- (Q1395747) (redirect page) (← links)
- Joins in the frame of nuclei (Q1395748) (← links)
- Function-space compactifications of function spaces (Q1612188) (← links)
- Integration in Real PCF (Q1854356) (← links)
- Comparing Cartesian closed categories of (core) compactly generated spaces (Q1880712) (← links)
- The Cantor-Schröder-Bernstein theorem for \(\infty\)-groupoids (Q2230805) (← links)
- Semantics of a sequential language for exact real-number computation (Q2373708) (← links)
- On the computational content of the Lawson topology (Q2500493) (← links)
- Compactly generated Hausdorff locales (Q2575768) (← links)
- Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting (Q2805159) (← links)
- Algorithmic solution of higher type equations (Q2844001) (← links)
- (Q2844075) (← links)
- Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics (Q2869900) (← links)
- (Q2980980) (← links)
- Sequential games and optimal strategies (Q3104817) (← links)
- Injective locales over perfect embeddings and algebras of the upper powerlocale monad (Q4811674) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- Partial Elements and Recursion via Dominances in Univalent Type Theory. (Q5111189) (← links)
- BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356) (← links)
- The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation (Q5277837) (← links)
- Higher-order games with dependent types (Q6049932) (← links)
- On Small Types in Univalent Foundations (Q6135756) (← links)
- Predicative Aspects of Order Theory in Univalent Foundations (Q6159924) (← links)
