LINEAR LOGIC IN COMPUTER SCIENCE
Ouvrage 9780521608572 : LINEAR LOGIC IN COMPUTER SCIENCE
Contents
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.
Auteur : EHRHARD
Editeur : CAMBRIDGE UNIVERSITY PRESS
Nombre de pages : 391
Date de publication : 10 2004
Toute la sélection
Toutes les sélections
Toute la sélection
Site réalisé en partenariat avec Courbis
(Courbis - alternate link), acteur de l'Internet depuis 1988...
Le Monde En Tique