By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend


Linear logic




<theory> A logic invented by Girard in 1987 that can be used in proofs related to resource usage.

(http://www.brics.dk/LS/96/6/BRICS-LS-96-6/BRICS-LS-96-6.html).

[Wadler, P., "Is there a use for linear logic", ACM/IFIP PEPM Conference, 1991].

[Summary?]



< Previous Terms Terms Containing linear logic Next Terms >
linear address space
linear argument
linear assignment
linear function
Linear Graph Notation
linear logic
linear type
LO
logic
Lolli
linear map
linear programming
linear space
linear transformation
linear type


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions