Work

Differential Interaction Nets

Year: 2005

Type: article

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.

Source: Electronic Notes in Theoretical Computer Science

DOI: 10.1016/j.entcs.2004.06.060

Authors: Thomas Ehrhard, Laurent Regnier

Institutions: Centre National de la Recherche Scientifique, Institut de Mathématiques de Marseille

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2033920397

FWCI: 3.462

Cites: 15

Cited by: 34

Related to: 10