Introduction to linear logic and ludics, part IIReportar como inadecuado




Introduction to linear logic and ludics, part II - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 PPS - Preuves, Programmes et Systèmes

Abstract : This paper is the second part of an introduction to linear logic and ludics, both due to Girard. It is devoted to proof nets, in the limited, yet central, framework of multiplicative linear logic and to ludics, which has been recently developped in an aim of further unveiling the fundamental interactive nature of computation and logic. We hope to offer a few computer science insights into this new theory.





Autor: Pierre-Louis Curien -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados