The Bang Calculus Revisited

Antonio Bucciarelli,Delia Kesner,Alejandro Ríos,Andrés Viso

Information and Computation（2023）

引用 34|浏览17

暂无评分

摘要

Call-by-Push-Value (CBPV) is a programming paradigm subsuming both Call-by-Name (CBN) and Call-by-Value (CBV) semantics. The paradigm was recently modelled by means of the Bang Calculus, a term language connecting CBPV and Linear Logic.

查看译文

关键词

bang calculus

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要