Similar Items: Stateful Realizers for Nonstandard Analysis
- Grilliot's trick in Nonstandard Analysis
- Typed realizability for first-order classical analysis
- When nonstandard meets standard: Language and affective dynamics in accent-diverse group interactions
- The Sierpinski Object in the Scott Realizability Topos
- Every metric space is separable in function realizability
- On completeness and parametricity in the realizability semantics of System F