Linear Logic in Computer Science by Thomas Ehrhard
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.-
Introduction to Hidden Semi-Markov Models
-
Partial Differential Equations and Fluid Mechanics
-
Complexity Science
-
Groups
-
L-Functions and Galois Representations
-
Groups and Analysis
-
Singularities and Computer Algebra
-
Recent Advances in Hodge Theory
-
Integrable Systems and Algebraic Geometry: Volume 2
-
Kleinian Groups and Hyperbolic 3-Manifolds
-
Combinatorics
-
Some Topics in Graph Theory
- Modulated Quivers, Semi-invariant Pictures and Picture Groups
-
Groups St Andrews 2013
-
Groups St Andrews 2017 in Birmingham
-
Surveys in Contemporary Mathematics
-
Multifunctorial Equivariant Algebraic K-Theory
-
Spectra of Signed Graphs
-
Surveys in Combinatorics 2026
-
The Geometry of Jet Bundles
-
C<sup>∞</sup>-Algebraic Geometry with Corners
-
Transcendental Dynamics and Complex Analysis
-
Topics in Number Theory
-
Groups St Andrews 2001 in Oxford: Volume 2
-
Topics in Graph Automorphisms and Reconstruction
-
Mathematical Aspects of Fluid Mechanics
-
Finite von Neumann Algebras and Masas
-
Evolution Equations
-
Auslander-Buchweitz Approximations of Equivariant Modules
-
Model Theory with Applications to Algebra and Analysis: Volume 1
-
Integrable Systems and Algebraic Geometry: Volume 1
-
Non-equilibrium Statistical Mechanics and Turbulence
-
Partial Differential Equations in Fluid Mechanics
-
Geometry in a Frechet Context
-
Ranks of Elliptic Curves and Random Matrix Theory
-
Non-abelian Fundamental Groups and Iwasawa Theory
-
The Cauchy Problem for Non-Lipschitz Semi-Linear Parabolic Partial Differential Equations
-
Topological Methods in Group Theory
-
Optimal Transport
-
Entropy of Hidden Markov Processes and Connections to Dynamical Systems
-
An Introduction to Galois Cohomology and its Applications
-
Dense Sphere Packings
-
Synthetic Differential Topology
-
Surveys in Combinatorics 2019
-
O-Minimality and Diophantine Geometry
-
Topics in Dynamics and Ergodic Theory
| SKU | Unavailable |
| ISBN 13 | 9780521608572 |
| ISBN 10 | 0521608570 |
| Title | Linear Logic in Computer Science |
| Author | Thomas Ehrhard |
| Series | London Mathematical Society Lecture Note Series |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Cambridge University Press |
| Year published | 2004-11-15 |
| Number of pages | 392 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |