Linear logic in computer science

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

Detalles Bibliográficos
Autores principales: Ehrhard, Thomas, Girard, Jean-Yves, Ruet, Paul
Lenguaje:eng
Publicado: Cambridge University Press 2004
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/2144626

Ejemplares similares

Ejemplares similares