Linear logic in computer science

✍ Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott 📂 Library 📅 2004 🏛 Cambridge University Press 🌐 English

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 connective

Logic in Computer Science

📁 Logic in Computer Science

✍ M. Huth, M. Ryan 📂 Library 📅 2004 🏛 Cambridge 🌐 English

Logic in computer science - Errata

📁 Logic in computer science - Errata

✍ Huth M., Ryan M. 📂 Library 📅 2004 🏛 CUP 🌐 English

Categories in Computer Science and Logic

📁 Categories in Computer Science and Logic

✍ John W. Gray, Andre Scedrov 📂 Library 📅 1989 🌐 English

Category theory has had important uses in logic since the invention of topos theory in the early 1960s, and logic has always been an important component of theoretical computer science. A new development has been the increase in direct interactions between category theory and computer scienc

Categories in computer science and logic

📁 Categories in computer science and logic

✍ Gray J.W., Scedrov A. (eds.) 📂 Library 📅 1989 🏛 AMS 🌐 English

Category theory has had important uses in logic since the invention of topos theory in the early 1960s, and logic has always been an important component of theoretical computer science. A new development has been the increase in direct interactions between category theory and computer scienc

Computational Aspects of Linear Logic (F

📁 Computational Aspects of Linear Logic (Foundations of Computing Series)

✍ Patrick D. Lincoln 📂 Library 📅 1998 🌐 English

Linear logic, first introduced by Jean-Yves Girard in 1987 as a resource-conscious logic, is a refinement of classical logic that has now matured into a rich area of active research that includes linear logic semantics, proof theory, complexity, and applications to the theory of concurrent and distr