Pages that link to "Item:Q1849853"
From MaRDI portal
The following pages link to The sequentially realizable functionals (Q1849853):
Displaying 21 items.
- A synthetic theory of sequential domains (Q424548) (← links)
- The extensional ordering of the sequential functionals (Q764278) (← links)
- Axioms and (counter)examples in synthetic domain theory (Q1577485) (← links)
- Parallel and serial hypercoherences (Q1583243) (← links)
- On the computational complexity of Longley's \(H\) functional (Q1827400) (← links)
- A relative PCF-definability result for strongly stable functions and some corollaries (Q1854294) (← links)
- Comparing hierarchies of types in models of linear logic (Q1881220) (← links)
- A stable programming language (Q2492185) (← links)
- Sequential algorithms and strongly stable functions (Q2570134) (← links)
- Some programming languages suggested by game models (extended abstract) (Q2805154) (← links)
- Non-uniform hypercoherences (Q2842815) (← links)
- Sequentiality and piecewise-affinity in segments of Real-PCF (Q2851538) (← links)
- On the ubiquity of certain total type structures (extended abstract) (Q2851540) (← links)
- Definability and full abstraction (Q2864154) (← links)
- Non-uniform (hyper/multi)coherence spaces (Q3081320) (← links)
- (Q4513578) (← links)
- (Q4585074) (← links)
- Continuous and monotone machines (Q5089226) (← links)
- On the ubiquity of certain total type structures (Q5430138) (← links)
- Computing with Functionals—Computability Theory or Computer Science? (Q5479568) (← links)
- On the reification of semantic linearity (Q5741580) (← links)