Articoli correlati a Linear Logic in Computer Science

9780521608572: Linear Logic in Computer Science
Brossura
ISBN 10: 0521608570 ISBN 13: 9780521608572
Casa editrice: Cambridge University Press, 2004

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

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
GPSR Kontakt
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Germania