scientific article; zbMATH DE number 7533346

DOI10.4230/LIPICS.CSL.2018.21MaRDI QIDQ5079745FDOQ5079745

Zena M. Ariola, Paul Downen

Publication date: 28 May 2022

Title of this publication is not available (Why is that?)

zbMATH Keywords

controlpolaritycall-by-needcall-by-push-value

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

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

Cited In (1)

• Classical (co)recursion: Mechanics

This page was built for publication:

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