Advances in linear logic /
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientis...
Saved in:
Other Authors: | Girard, Jean-Yves (Editor), Lafont, Yves (Editor), Regnier, Laurent (Editor) |
---|---|
Format: | Electronic eBook |
Language: | English |
Published: |
Cambridge :
Cambridge University Press,
1995.
|
Series: | London Mathematical Society lecture note series ;
222. |
Subjects: | |
Online Access: | CONNECT |
Similar Items
-
Advances in linear logic /
Published: (1995) -
Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987) -
Mathematical logic /
Published: (1990) -
Linear Logic in Computer Science /
Published: (2004) -
Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)