Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Linear Logic in Computer Science

Name: Linear Logic in Computer Science
Brand: Cambridge University Press
SKU: 02037316
Price: 611.07 RON
Availability: InStock
Author: Thomas EhrhardJean-Yves GirardPaul RuetPhilip Scott
ISBN: 9780521608572

Thomas EhrhardJean-Yves GirardPaul RuetPhilip Scott

Limba

engleză

Carte Carte broșată

Codul Libristo: 02037316

Editura Cambridge University Press, noiembrie 2004

Linear Logic is a branch of proof theory which provides refined tools for the study of the computati... Descrierea completă

Codul Libristo: 02037316

282 b

611.07 lei

În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Totalitat als Faszination Andrea Benedetti

Copertă tare

688.76 lei

Boj o České Budějovice v letech 1618 - 1619 Tomáš Sterneck

Carte broșată

22.53 lei

Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area.