Lectures on Linear Logic: 29 (Center for the Study of Language and Information Publication Lecture Notes) - Tapa dura

Troelstra, Anne Sjerp

 
9780937073780: Lectures on Linear Logic: 29 (Center for the Study of Language and Information Publication Lecture Notes)
Tapa dura
ISBN 10: 0937073784 ISBN 13: 9780937073780
Editorial: The Center for the Study of Language and Information Publications, 1992

Sinopsis

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
The Center for the Study of Language and Information Publications
Año de publicación
1992
Idioma
Inglés
ISBN 10 
0937073784
ISBN 13 
9780937073780
Encuadernación
Tapa dura
Número de páginas
215
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9780937073773: Lectures on Linear Logic: 29 (Center for the Study of Language and Information Publication Lecture Notes)

Edición Destacada

ISBN 10:  0937073776 ISBN 13:  9780937073773
Editorial: The Center for the Study of Lang..., 1992
Tapa blanda