The exponential logic of sequentialization

Linear logic has provided new perspectives on proof-theory, denotational semantics and the study of programming languages. One of its main successes are proof-nets, canonical representations of proofs that lie at the intersection between logic and graph theory. In the case of the minimalist proof-sy...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2023-11
Hauptverfasser:	Alcolei, Aurore, Pellissier, Luc, Saurin, Alexis
Format:	Artikel
Sprache:	eng
Schlagworte:	Axioms Completeness Computer Science - Logic in Computer Science Graph theory Graphs Logic Programming languages Semantics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!