Pages that link to "Item:Q5361260"
From MaRDI portal
The following pages link to A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis (Q5361260):
Displaying 3 items.
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION (Q4977225) (← links)
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)
