A gentle introduction to Girard's Transcendental Syntax
Abstract
We present a gentle introduction to the technical content of Girard's Transcendental Syntax suggesting a new framework for the proof theory of linear logic and an alternative understanding of proof-nets. In this framework, we investigate the emergence of logic from a model of computation related to tiling models and logic programs.
Origin | Files produced by the author(s) |
---|