Linear Logic in Computer Science - Brossura

Ehrhard, Thomas

Brossura

ISBN 10: 0521608570 ISBN 13: 9780521608572

Casa editrice: Cambridge University Press, 2004

Riassunto

This book illustrates linear logic in the application of proof theory to computer science.

Su questo libro

Descrizione del libro

The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.

Contenuti

Part I. Tutorials: 1. Category theory for linear logicians R. Blute and Ph. Scott; 2. Proof nets and the x-calculus S. Guerrini; 3. An overview of linear logic programming D. Miller; 4. Linearity and nonlinearity in distributed computation G. Winskel; 5. An axiomatic approach to structural rules for locative linear logic J. M. Andreoli; 6. An introduction to uniformity in ludics C. Faggian, M. R. Fleury-Donnadieu and M. Quatrini; 7. Slicing polarized addictive normalization O. Laurent and L. Toratora De Falco; 8. A topological correctness criterion for muliplicative noncommutative logic P.A. Melliès; 9. Bicategories in algebra and linguistics J. Lambek; 10. Between logic and quantic: a tract J. Y. Girard.

Dettagli dell'edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 2004
• Lingua: Inglese
• ISBN 10: 0521608570
• ISBN 13: 9780521608572
• Rilegatura: Copertina flessibile
• Numero di pagine: 392
• Contatto del produttore: non disponibile
• Persona responsabile: Avery; https://www.avery.fr/; ; chemin des peupliers 27; Dardilly; Francia