Taylor expansion for Call-By-Push-Value

DOI10.4230/LIPIcs.CSL.2020.16OpenAlexW4287904754MaRDI QIDQ5874202

Jules Chouquet, Christine Tasson

Publication date: 7 February 2023

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

zbMATH Keywords

linear logicTaylor expansionquantitative semanticscall-by-push-value

Mathematics Subject Classification ID

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

Related Items

Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications, Factorization in call-by-name and call-by-value calculi via linear logic, The bang calculus revisited, The bang calculus revisited