A gentle introduction to Girard's Transcendental Syntax - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2021

A gentle introduction to Girard's Transcendental Syntax

Boris Eng
Thomas Seiller

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.
Fichier principal
Vignette du fichier
TLLA_2021_paper_5.pdf (157.82 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

lirmm-03271496 , version 1 (25-06-2021)

Licence

Identifiers

  • HAL Id : lirmm-03271496 , version 1

Cite

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⟩
398 View
230 Download

Share

Gmail Mastodon Facebook X LinkedIn More