Linear Logic in Computer Science /

This book illustrates linear logic in the application of proof theory to computer science.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Ehrhard, Thomas, 1961-, Girard, Jean-Yves, Ruet, Paul, Scott, Philip
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2004.
Colección:London Mathematical Society lecture note series ; no. 316.
Temas:
Computer science > Mathematics.
Logic, Symbolic and mathematical.
Proof theory.
Informatique > Mathématiques.
Logique symbolique et mathématique.
Théorie de la preuve.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Computer science > Mathematics
Logic, Symbolic and mathematical
Proof theory
Acceso en línea:Texto completo
Descripción
Sumario:This book illustrates linear logic in the application of proof theory to computer science.
Notas:Title from publishers bibliographic system (viewed 22 Dec 2011).
Descripción Física:1 online resource (392 pages)
Bibliografía:Includes bibliographical references.
ISBN:9780511550850
0511550855
9780521608572
0521608570
9781107367555
1107367557
9781107362642
1107362644
1139882376
9781139882378
1107372119
9781107372115
1299405177
9781299405172
1107365090
9781107365094

Ejemplares similares