scientific article; zbMATH DE number 7533346

DOI10.4230/LIPIcs.CSL.2018.21MaRDI QIDQ5079745

Zena M. Ariola, Paul Downen

Publication date: 28 May 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

controlpolaritycall-by-needcall-by-push-value

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items

Classical (co)recursion: Mechanics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Call-by-push-value: Decomposing call-by-value and call-by-name
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• The duality of computation
• Classical Call-by-Need and Duality
• Jumbo λ-Calculus
• Logic Programming with Focusing Proofs in Linear Logic
• Polarised Intermediate Representation of Lambda Calculus with Sums
• Call-by-value is dual to call-by-name
• Models of a Non-associative Composition
• The Duality of Construction