The Geometry of Interaction of Differential Interaction Nets

@article{Falco2008TheGO,
  title={The Geometry of Interaction of Differential Interaction Nets},
  author={M. D. Falco},
  journal={2008 23rd Annual IEEE Symposium on Logic in Computer Science},
  year={2008},
  pages={465-475}
}
  • M. D. Falco
  • Published 2008
  • Mathematics, Computer Science
  • 2008 23rd Annual IEEE Symposium on Logic in Computer Science
The geometry of interaction purpose is to give a semantic of proofs or programs accounting for their dynamics. The initial presentation, translated as an algebraic weighting of paths in proofnets, led to a better characterization of the lambda-lambda-calculus optimal reduction. Recently Ehrhard and Regnier have introduced an extension of the multiplicative exponential fragment of linear logic (MELL) that is able to express non-deterministic behaviour of programs and a proofnet-like calculus… Expand
6 Citations
An Explicit Framework for Interaction Nets
  • 4
  • PDF
Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach
  • M. Solieri
  • Mathematics, Computer Science
  • Mathematical Structures in Computer Science
  • 2016
  • 2
  • PDF
Geometry of Resource Interaction - A Minimalist Approach
  • M. Solieri
  • Mathematics, Computer Science
  • LINEARITY
  • 2014
  • 1
  • PDF
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens
  • 11
  • PDF
Interaction graphs: Graphings
  • T. Seiller
  • Computer Science, Mathematics
  • Ann. Pure Appl. Log.
  • 2017
  • 22
  • PDF
Concurrency, references and linear logic
  • 1

References

SHOWING 1-10 OF 17 REFERENCES
Geometry of interaction III: accommodating the additives
  • 116
Differential interaction nets
  • 153
Geometry of Interaction 1: Interpretation of System F
  • 325
Interpreting a finitary pi-calculus in differential interaction nets
  • 38
  • PDF
A Token Machine for Full Geometry of Interaction
  • 36
Paths in the lambda-calculus. Three years of communications without understanding
  • 24
  • PDF
Advances in Linear Logic
  • 171
  • PDF
Paths in the lambda-calculus
  • 45
Reversible, Irreversible and Optimal lambda-Machines
  • 62
  • PDF
...
1
2
...