基本仿射逻辑和按值调用 Lambda 演算 电子书下载

原名:Elementary Affine Logic and the Call by Value Lambda Calculus
作品简介:我们将在基本仿射逻辑（EAL）的背景下做到这一点，设计一个类型
轻型逻辑和初等线性逻辑 [2-4] 都是作为逻辑反逻辑引入的。……