Linear Logic in Computer Science (London Mathematical Society Lecture Note Series) 豆 0.0分

资源最后更新于 2020-08-19 15:49:27

作者：Ruet, Paul; Erhard, Thomas; Girard, Jean-Yves

出版社：Cambridge University Press

出版日期：2004-01

ISBN：9780521608572

文件格式： pdf

标签： 计算机科学 逻辑学 线性逻辑

简介· · · · · ·

Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illu...