LinearLogic
Last edit May 28, 2003
See
http://cliki.tunes.org/Linearity%20101
Also see the papers by "the founding father of Linear Logic",
JeanYvesGirard
(
http://iml.univ-mrs.fr/~girard/Articles.html
) and by
PhilipWadler
(
http://www.research.avayalabs.com/user/wadler/topics/linear-logic.html
).
LinearLogic
is relevant to
ComputerScience
in the form of
LinearTypes
. Wadler's tutorial paper "A taste of linear logic" explains how
LinearLogic
corresponds to type systems for
FunctionalProgrammingLanguage
s via the notion of
PropositionsAsTypes
.
CategoryPhilosophy