The Duality of Computation under Focus

DOI10.1007/978-3-642-15240-5_13zbMath1202.68091OpenAlexW2102706914MaRDI QIDQ3163882

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

sequent calculus\(\lambda\)-calculi

Mathematics Subject Classification ID

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

Related Items (11)

From Focalization of Logic to the Logic of Focalization ⋮ Open Call-by-Value ⋮ Non-linearity as the Metric Completion of Linearity ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Call-by-name extensionality and confluence ⋮ Classical realizability in the CPS target language ⋮ Monadic translation of classical sequent calculus ⋮ Call-By-Push-Value from a Linear Logic Point of View ⋮ Abstracting models of strong normalization for classical calculi ⋮ On the Meaning of Focalization ⋮ Focalisation and Classical Realisability

This page was built for publication: The Duality of Computation under Focus