Bang演算与两种Girard翻译
计算机科学中的逻辑
2019-04-16 v1 离散数学
编程语言
摘要
我们通过利用bang演算（一种带有显式框算子的典型函数式语言，可编码按名调用与按值调用的lambda演算）来研究直觉主义蕴涵到线性逻辑的两种Girard翻译。我们从语法和语义两个视角探究bang演算如何包含按名调用与按值调用的lambda演算。
引用
@article{arxiv.1904.06845,
title = {The Bang Calculus and the Two Girard's Translations},
author = {Giulio Guerrieri and Giulio Manzonetto},
journal= {arXiv preprint arXiv:1904.06845},
year = {2019}
}
备注
In Proceedings Linearity-TLLA 2018, arXiv:1904.06159