Modal embeddings and calling paradigms

DOI10.4230/LIPICS.FSCD.2019.18MaRDI QIDQ5089020zbMATH OpenFDO

Authors Santo José Espírito, Luís Pinto, Tarmo Uustalu

Publication date 18 July 2022

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2019.18

zbMATH Keywords

call-by-namecall-by-valuecomonadic \(\lambda\)-calculusindifference propertyintuitionistic S4standardization

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Recommendations

• Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus
• Call-by-Name and Call-by-Value in Normal Modal Logic
• scientific article; zbMATH DE number 1231468
• Call-by-name, call-by-value, call-by-need and the linear lambda calculus
• Call-by-push-value: Decomposing call-by-value and call-by-name

Cites work

• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Call-by-name, call-by-value, call-by-need and the linear lambda calculus
• Encoding Strategies in the Lambda Calculus with Interaction Nets
• scientific article; zbMATH DE number 3875232 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 786495 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Linear logic
• On an intuitionistic modal logic
• Thunks and the λ-calculus

Cited in

(8)

• The bang calculus revisited
• Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus
• Factorization in call-by-name and call-by-value calculi via linear logic
• The bang calculus revisited
• Categorifying non-idempotent intersection types
• Meaningfulness and genericity in a subsuming framework (invited talk)
• Sharing and linear logic with restricted access
• The benefits of diligence

This page was built for publication: Modal embeddings and calling paradigms

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