建议
具有聚类和排序功能的循环演算系统 循环演算是G.Japaridze为了满足其可计算逻辑理论（CoL）的需要而引入的一种新的证明理论和语义方法。 Japaridze的早期文章“从公式到可计算逻辑中的电路”概括了。。。 Bang Calculus：一个非类型化的lambda-Calculus，泛化了call-by-name和call-by-value PPDP’16：第18届声明性编程原则与实践国际研讨会会议记录 我们介绍并研究了Bang演算，这是一种非类型函数演算，其中线性逻辑的提升运算是显式的，应用是双线性运算。 这个微积分可以理解为…的非类型化版本。。。
