Differential interaction nets

We introduce interaction nets for a fragment of the differential lambda-calculus and exhibit in this framework a new symmetry between the of course and the why not modalities of linear logic, which is completely similar to the symmetry between the tensor and par connectives of linear logic. We use a...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science 2006-11, Vol.364 (2), p.166-195
Hauptverfasser:	Ehrhard, T., Regnier, L.
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Computer Science Computer science control theory systems Differential lambda-calculus Exact sciences and technology General logic Interaction nets Lambda-calculus Lambda-calculus with multiplicities Linear logic Logic and foundations Logic in Computer Science Mathematical logic, foundations, set theory Mathematics Programming theory Resource lambda-calculus Sciences and techniques of general use Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!