Full Abstraction for Resource Calculus with Tests

@inproceedings{Bucciarelli2011FullAF,
  title={Full Abstraction for Resource Calculus with Tests},
  author={A. Bucciarelli and A. Carraro and T. Ehrhard and Giulio Manzonetto},
  booktitle={CSL},
  year={2011}
}
We study the semantics of a resource sensitive extension of the lambda-calculus in a canonical reflexive object of a category of sets and relations, a relational version of the original Scott D infinity model of the pure lambda-calculus. This calculus is related to Boudol's resource calculus and is derived from Ehrhard and Regnier's differential extension of Linear Logic and of the lambda-calculus. We extend it with new constructions, to be understood as implementing a very simple exception… Expand
What is a categorical model of the differential and the resource λ-calculi?
On the discriminating power of tests in resource λ-calculus December
  • 2013
On the discriminating power of tests in resource lambda-calculus
An introduction to differential linear logic: proof-nets, models and antiderivatives
  • T. Ehrhard
  • Computer Science, Mathematics
  • Mathematical Structures in Computer Science
  • 2017
...
1
2
...

References

SHOWING 1-10 OF 26 REFERENCES
Solvability in Resource Lambda-Calculus
Parallel Reduction in Resource Lambda-Calculus
What is a categorical model of the differential and the resource λ-calculi?
A semantics for lambda calculi with resources
The Lambda-Calculus with Multiplicities (Abstract)
  • G. Boudol
  • Mathematics, Computer Science
  • CONCUR
  • 1993
The Polyadic π-Calculus: a Tutorial
Intuitionistic differential nets and lambda-calculus
  • P. Tranquilli
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 2011
Interpreting a finitary pi-calculus in differential interaction nets
The lambda calculus - its syntax and semantics
  • H. Barendregt
  • Mathematics, Computer Science
  • Studies in logic and the foundations of mathematics
  • 1985
Uniformity and the Taylor expansion of ordinary lambda-terms
...
1
2
3
...