Linear Logic (Stanford Encyclopedia of Philosophy)

Linear Logic (Stanford Encyclopedia of Philosophy)

瀏覽:613
日期:2025-05-15
Bibliography Abramsky, S., 1993, “Computational interpretations of linear logic”, Theoretical Computer Science, 111: 3–57. Abramsky, S., and Jagadeesan, R., 1994, “New Foundations for the Geometry of Interaction”, Information and Computation, 111(1): 53–1...看更多