Resource Lambda-Calculus: the Differential Viewpoint

Author Thomas Ehrhard



PDF
Thumbnail PDF

File

LIPIcs.CSL.2011.1.pdf
  • Filesize: 235 kB
  • 1 pages

Document Identifiers

Author Details

Thomas Ehrhard

Cite AsGet BibTex

Thomas Ehrhard. Resource Lambda-Calculus: the Differential Viewpoint. In Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Leibniz International Proceedings in Informatics (LIPIcs), Volume 12, p. 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
https://doi.org/10.4230/LIPIcs.CSL.2011.1

Abstract

We present differential linear logic and its models, the associated resource and differential lambda-calculi, and the Taylor expansion of promotion boxes. We also describe an antiderivative which seems to be available in many models of differential Linear Logic, and we present a very simple categorical axiom for this operation.
Keywords
  • proof theory
  • lambda-calculus
  • linear logic
  • denotational semantics

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail