License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CSL.2011.1
URN: urn:nbn:de:0030-drops-32152
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2011/3215/
Ehrhard, Thomas
Resource Lambda-Calculus: the Differential Viewpoint
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.
BibTeX - Entry
@InProceedings{ehrhard:LIPIcs:2011:3215,
author = {Thomas Ehrhard},
title = {{Resource Lambda-Calculus: the Differential Viewpoint}},
booktitle = {Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL},
pages = {1--1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-32-3},
ISSN = {1868-8969},
year = {2011},
volume = {12},
editor = {Marc Bezem},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2011/3215},
URN = {urn:nbn:de:0030-drops-32152},
doi = {10.4230/LIPIcs.CSL.2011.1},
annote = {Keywords: proof theory, lambda-calculus, linear logic, denotational semantics}
}
Keywords: |
|
proof theory, lambda-calculus, linear logic, denotational semantics |
Collection: |
|
Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL |
Issue Date: |
|
2011 |
Date of publication: |
|
31.08.2011 |