Focalisation and Classical Realisability
From MaRDI portal
Publication:3644763
DOI10.1007/978-3-642-04027-6_30zbMath1257.03055MaRDI QIDQ3644763
Publication date: 12 November 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04027-6_30
68N15: Theory of programming languages
03B70: Logic in computer science
03F52: Proof-theoretic aspects of linear logic and other substructural logics
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
03B40: Combinatory logic and lambda calculus
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Computational ludics
- Linear logic
- Classical \(F_{\omega}\), orthogonality and symmetric candidates
- Locus Solum: From the rules of logic to the logic of rules
- The duality of computation
- The Duality of Computation under Focus
- A new constructive logic: classic logic
- Logic Programming with Focusing Proofs in Linear Logic
- A new deconstructive logic: linear logic
- Call-by-value is dual to call-by-name
- Disjunctive normal forms and local exceptions
- Logical Approaches to Computational Barriers