通过测试对资源 Lambda 演算进行完整抽象… 电子书下载

原名:FULL ABSTRACTION FOR THE RESOURCE LAMBDA CALCULUS WITH TESTS, THROUGH …
作品简介:关键词和短语：资源 lambda 演算、关系语义、完全抽象、微分线性逻辑。 ＊本文为扩展版……