Taylor expansion for Call-By-Push-Value

DOI10.4230/LIPICS.CSL.2020.16MaRDI QIDQ5874202zbMATH OpenOpenAlexFDO

Authors Jules Chouquet, Christine Tasson

Publication date 7 February 2023

Full work available at URL https://hal.science/hal-02318600

zbMATH Keywords

call-by-push-valuelinear logicquantitative semanticsTaylor expansion

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cited in

(10)

• The bang calculus revisited
• Factorization in call-by-name and call-by-value calculi via linear logic
• The bang calculus revisited
• Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
• Resource approximation for the -calculus
• Categorifying non-idempotent intersection types
• Böhm and Taylor for all!
• Extensional Taylor expansion
• How to play the accordion: uniformity and the (non-)conservativity of the linear approximation of the -calculus
• A verified cost model for call-by-push-value

This page was built for publication: Taylor expansion for Call-By-Push-Value

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