Linear Logic in Computer Science Image close
Linear Logic in Computer Science
Linear Logic in Computer Science
Show Hide Adult Content
Linear Logic in Computer Science close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Linear Logic in Computer Science

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$253.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $63.25 with Afterpay Learn more

6 weekly interest-free payments of $42.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more London Mathematical Society Lecture Note Series,

See all products in this series

Independence-Friendly Logic by Allen L. Mann
$216.00
Independence-Friendly Logic
by Allen L. Mann ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Synthetic Differential Topology by Marta Bunge
$211.00
Synthetic Differential Topology
by Marta Bunge ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Stable Groups by F. Wagner
$196.00
Stable Groups
by F. Wagner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Forcing with Random Variables and Proof Complexity by Jan Krajicek
$166.00
Forcing with Random Variables and Proof Complexity
by Jan Krajicek ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Locally Presentable and Accessible Categories by J. Rosicky
$289.00
Locally Presentable and Accessible Categories
by J. Rosicky ~ Paperback / softback
Available - Usually ships in 3-4 weeks
O-Minimality and Diophantine Geometry
$192.00
O-Minimality and Diophantine Geometry
Paperback / softback
Available - Usually ships in 3-4 weeks
Computability, Enumerability, Unsolvability
$163.00
Computability, Enumerability, Unsolvability
Paperback / softback
Available - Usually ships in 3-4 weeks
Appalachian Set Theory
$211.00
Appalachian Set Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
The Logical Approach to Automatic Sequences by Jeffrey Shallit
$229.00
The Logical Approach to Automatic Sequences
by Jeffrey Shallit ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Boolean Function Complexity
$115.00
Boolean Function Complexity
Paperback / softback
Available - Usually ships in 3-4 weeks
Sets and Proofs
$185.00
Sets and Proofs
Paperback / softback
Available - Usually ships in 3-4 weeks
Models and Computability
$184.00
Models and Computability
Paperback / softback
Available - Usually ships in 3-4 weeks
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1
$228.00
Motivic Integration and its Interactions with Model Theory and...
Paperback / softback
Available - Usually ships in 3-4 weeks
Tame Topology and O-minimal Structures by L. P. D. van den Dries
$202.00
Tame Topology and O-minimal Structures
by L. P. D. van den Dries ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Model Theory of Groups and Automorphism Groups
$161.00
Model Theory of Groups and Automorphism Groups
Paperback / softback
Available - Usually ships in 3-4 weeks
Oligomorphic Permutation Groups by Peter J. Cameron
$137.00
Oligomorphic Permutation Groups
by Peter J. Cameron ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
November 15th, 2004
Audience
  • Professional & Vocational
Contributors
  • Edited by Jean-Yves Girard
  • Edited by Paul Ruet
  • Edited by Philip Scott
  • Edited by Thomas Ehrhard
Illustrations
Worked examples or Exercises
Pages
392
Dimensions
153x228x23
ISBN-13
9780521608572
Product ID
2011681

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic