BibTeX
@ARTICLE{Vaux07thedifferential,
author = {Lionel Vaux},
title = {The differential λµ-calculus},
journal = {Theor. Comput. Sci},
year = {2007},
pages = {166--209}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We define a differential λµ-calculus which is an extension of both Parigot’s λµ-calculus and Ehrhard-Régnier’s differential λ-calculus. We prove some basic properties of the system: reduction enjoys Church-Rosser and simply typed terms are strongly normalizing. Contents 1
