Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.
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...
| Other Authors: | |
|---|---|
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
1995.
|
| Series: | London Mathematical Society lecture note series ;
222. |
| Subjects: | |
| Genre: | |
| Online Access: | |
| Physical Description: | 1 online resource (vi, 389 pages) : digital, PDF file(s). |
| Format: | Electronic eBook |
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:
Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.