Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271496
Contributor : Isabelle Gouat <>
Submitted on : Friday, June 25, 2021 - 6:25:28 PM
Last modification on : Sunday, June 27, 2021 - 3:21:21 AM

File

TLLA_2021_paper_5.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

Identifiers

  • HAL Id : lirmm-03271496, version 1

Citation

Boris Eng, Thomas Seiller. A gentle introduction to Girard's Transcendental Syntax. 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy. ⟨lirmm-03271496⟩

Share

Metrics

Record views

87

Files downloads

35