Linear Logic in Computer Science by Paul Ruet (English) Paperback Book
120,30 €
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.
Jetzt bei Ebay:
