Differential Interaction Nets

Authors:
Thomas Ehrhard;Laurent Regnier
Affiliations:
Institut de mathématiques de Luminy, CNRS and Université de la Méditerranée, UMR 6206, Fédération de recherche des unités de mathématiques de Marseille, FR ...;Institut de mathématiques de Luminy, CNRS and Université de la Méditerranée, UMR 6206, Fédération de recherche des unités de mathématiques de Marseille, FR ...
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 8
Cited 3

Linear logic

Theoretical Computer Science
Interaction nets

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From proof-nets to interaction nets

Proceedings of the workshop on Advances in linear logic
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
The differential Lambda-calculus

Theoretical Computer Science
On Köthe sequence spaces and linear logic

Mathematical Structures in Computer Science
A semantics for lambda calculi with resources

Mathematical Structures in Computer Science
Finiteness spaces

Mathematical Structures in Computer Science

Convolution λµ-calculus

TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Resource combinatory algebras

MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Böhm trees, krivine's machine and the taylor expansion of lambda-terms

CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers

Quantified Score

Hi-index	0.00

Visualization

Abstract

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