Pages that link to "Item:Q5740680"
From MaRDI portal
The following pages link to A constructive interpretation of Ramsey's theorem via the product of selection functions (Q5740680):
Displaying 5 items.
- An intuitionistic version of Ramsey's theorem and its use in program termination (Q499082) (← links)
- A compositional treatment of iterated open games (Q724937) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- A note on the finitization of Abelian and Tauberian theorems (Q6096323) (← links)
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)
