The duality of computation under focus

DOI10.1007/978-3-642-15240-5_13MaRDI QIDQ3163882zbMATH OpenOpenAlexFDO

Authors Pierre-Louis Curien, Guillaume Munch-Maccagnoni

Publication date 27 October 2010

Published in IFIP Advances in Information and Communication Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15240-5_13

zbMATH Keywords

\(\lambda\)-calculisequent calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• The duality of computation
• Focalisation and Classical Realisability
• Term Rewriting and Applications
• Investigations on the dual calculus
• Focused linear logic and the \(\lambda\)-calculus

Cited in

(14)

• Classical realizability in the CPS target language
• Abstracting models of strong normalization for classical calculi
• Call-By-Push-Value from a Linear Logic Point of View
• On the meaning of focalization
• From focalization of logic to the logic of focalization
• Open call-by-value
• Focalisation and Classical Realisability
• Non-linearity as the metric completion of linearity
• Call-by-name extensionality and confluence
• Monadic translation of classical sequent calculus
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• Meaningfulness and genericity in a subsuming framework (invited talk)
• is for Dialectica
• Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic

This page was built for publication: The duality of computation under focus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3163882)