The following pages link to Martín Hötzel Escardó (Q168355):
Displaying 50 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)
- Exhaustible sets in higher-type computation (Q3535608) (← links)
- Selection functions, bar recursion and backward induction (Q3559969) (← links)
- Computability of Continuous Solutions of Higher-Type Equations (Q3576051) (← links)
- Computational Interpretations of Analysis via Products of Selection Functions (Q3576200) (← links)
- The Peirce Translation and the Double Negation Shift (Q3576201) (← links)
- (Q4222967) (← links)
- (Q4261084) (← links)
- (Q4261085) (← links)
- (Q4500949) (← links)
- On the non-sequential nature of the interval-domain model of real-number computation (Q4659540) (← links)
- (Q4737182) (← links)
- In Domain Realizability, not all Functionals on C[–1, 1] are Continuous (Q4787855) (← links)
- Injective locales over perfect embeddings and algebras of the upper powerlocale monad (Q4811674) (← links)
- (Q4819380) (← links)
- (Q4849596) (← links)
- (Q4870818) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- On generalized algebraic theories and categories with families (Q5084311) (← links)
- Partial Elements and Recursion via Dominances in Univalent Type Theory. (Q5111189) (← links)
- Injective types in univalent mathematics (Q5156770) (← links)
- Abstract Datatypes for Real Numbers in Type Theory (Q5170818) (← links)
- BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356) (← links)
- The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation (Q5277837) (← links)
- Generalizations of Hedberg’s Theorem (Q5300901) (← links)
- A Constructive Model of Uniform Continuity (Q5300905) (← links)
