Linear Logic in Computer Science -
- Format: Broché
- 392 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre30,77 €
Produit Neuf
Ou 7,69 € /mois
- Livraison à 0,01 €
- Livré entre le 4 et le 7 août
Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Linear Logic In Computer Science Format Broché - Livre
0 avis sur Linear Logic In Computer Science Format Broché - Livre
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Linear Logic In Computer Science Format Broché
- LivreEditeur : Cambridge University PressLangue : AnglaisParution : 01/02/2016Format : Moyen, de 350g à 1kgNombre de pages : 392Expédition : 566Dimensions : 22.9 x 15.2 x 2.1 ...
Sommaire:
Preface; List of contributors; 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; Part II. Refereed Articles: 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; Part III. Invited Articles: 9. Bicategories in algebra and linguistics J. Lambek; 10. Between logic and quantic: a tract J. Y. Girard.
Détails de conformité du produit
Personne responsable dans l'UE