Logic in Computer Science

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

Linear logic in computer science

📁 Linear logic in computer science

✍ Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott 📂 Library 📅 2004 🏛 CUP 🌐 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

Handbook of Logic in Computer Science 5

📁 Handbook of Logic in Computer Science 5

✍ S. Abramsky, Dov. M. Gabbay, T. S. E. Maibaum 📂 Library 📅 2001 🏛 Oxford University Press, USA 🌐 English

✦ Subjects