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
Tabla de Contenidos:
  • Category theory for linear logicians / R. Blute and Ph. Scott
  • Proof nets and the [lambda]-calculus / S. Guerrini
  • An overview of linear logic programming / D. Miller
  • Linearity and nonlinearity in distributed computation / G. Winskel
  • An axiomatic approach to structural rules for locative linear logic / J.-M. Andreoli
  • An introduction to uniformity in Ludics / C. Faggian, M.-R. Fleury-Donnadieu and M. Quatrini
  • Slicing polarized additive normalization / O. Laurent, L. Tortora de Falco
  • A topological correctness criterion for multiplicative non-commutative logic / P.-A. Melliès
  • Bicategories in algebra and linguistics / J. Lambek
  • Between logic and quantic : a tract / J.-Y. Girard.

Ejemplares similares