Given a semi-ring with unit which satisfies some algebraic conditions, we define an exponential functor on the category of sets and relations which allows to define a denotational model of differential linear logic and of the lambda-calculus with resources. We show that, when the semi-ring has an element which is infinite in the sense that it is equal to its successor, this model does not validate the Taylor formula and that it is possible to build, in the associated Kleisli cartesian closed category, a model of the pure lambda-calculus which is not sensible. This is a quantitative analogue of the standard graph model construction in the category of Scott domains. We also provide examples of such semi-rings. © 2010 Springer-Verlag Berlin Heidelberg.
Exponentials with infinite multiplicities
SALIBRA, Antonino
2010-01-01
Abstract
Given a semi-ring with unit which satisfies some algebraic conditions, we define an exponential functor on the category of sets and relations which allows to define a denotational model of differential linear logic and of the lambda-calculus with resources. We show that, when the semi-ring has an element which is infinite in the sense that it is equal to its successor, this model does not validate the Taylor formula and that it is possible to build, in the associated Kleisli cartesian closed category, a model of the pure lambda-calculus which is not sensible. This is a quantitative analogue of the standard graph model construction in the category of Scott domains. We also provide examples of such semi-rings. © 2010 Springer-Verlag Berlin Heidelberg.File | Dimensione | Formato | |
---|---|---|---|
exponential2-versione-con-prove-sottomessa.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Accesso gratuito (solo visione)
Dimensione
292.56 kB
Formato
Adobe PDF
|
292.56 kB | Adobe PDF | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.