Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

linear logic

You are here: irt.org | FOLDOC | linear logic

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

(http://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?]

(2003-05-02)

Nearby terms: linear assignment « linear function « Linear Graph Notation « linear logic » linear map » linear programming » linear space

FOLDOC, Topics, 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, ?, ALL

©2018 Martin Webb