The Duality of Computation under Focus
From MaRDI portal
Publication:3163882
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
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