Zobrazeno 1 - 10
of 204
pro vyhledávání: '"Ehrhard, Thomas"'
Autor:
Ehrhard, Thomas
In this survey, we present in a unified way the categorical and syntactical settings of coherent differentiation introduced recently, which shows that the basic ideas of differential linear logic and of the differential lambda-calculus are compatible
Externí odkaz:
http://arxiv.org/abs/2401.14834
Autor:
Ehrhard, Thomas, Walch, Aymeric
We extend the recently introduced setting of coherent differentiation for taking into account not only differentiation, but also Taylor expansion in categories which are not necessarily (left)additive.The main idea consists in extending summability i
Externí odkaz:
http://arxiv.org/abs/2310.01907
Autor:
Ehrhard, Thomas, Walch, Aymeric
We extend to general Cartesian categories the idea of Coherent Differentiation recently introduced by Ehrhard in the setting of categorical models of Linear Logic. The first ingredient is a summability structure which induces a partial left-additive
Externí odkaz:
http://arxiv.org/abs/2303.06952
Autor:
Ehrhard, Thomas, Geoffroy, Guillaume
Measurable cones, with linear and measurable functions as morphisms, are a model of intuitionistic linear logic and of call-by-name probabilistic PCF which accommodates "continuous data types" such as the real line. So far however, they lacked a majo
Externí odkaz:
http://arxiv.org/abs/2212.02371
Autor:
Ehrhard, Thomas
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 4 (October 26, 2023) lmcs:9969
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential linear logic
Externí odkaz:
http://arxiv.org/abs/2205.04109
Autor:
Ehrhard, Thomas
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential linear logic
Externí odkaz:
http://arxiv.org/abs/2107.05261
Autor:
Ehrhard, Thomas, Jafarrahmani, Farzad
Publikováno v:
36th ACM/IEEE Symposium on Logic in Computer Science (LICS 2021), Jun 2021, Rome, Italy
We develop a denotational semantics of muLL, a version of propositional Linear Logic with least and greatest fixed points extending David Baelde's propositional muMALL with exponentials. Our general categorical setting is based on the notion of Seely
Externí odkaz:
http://arxiv.org/abs/2011.10209
Autor:
Ehrhard, Thomas
We develop a theory of probabilistic coherence spaces equipped with an additional extensional structure and apply it to approximating probability of convergence of ground type programs of probabilistic PCF whose free variables are of ground types. To
Externí odkaz:
http://arxiv.org/abs/2008.04534
Autor:
Ehrhard, Thomas
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 3 (August 8, 2022) lmcs:6511
In probabilistic coherence spaces, a denotational model of probabilistic functional languages, morphisms are analytic and therefore smooth. We explore two related applications of the corresponding derivatives. First we show how derivatives allow to c
Externí odkaz:
http://arxiv.org/abs/2005.12582
Autor:
Ehrhard, Thomas
For encompassing the limitations of probabilistic coherence spaces which do not seem to provide natural interpretations of continuous data types such as the real line, Ehrhard and al. introduced a model of probabilistic higher order computation based
Externí odkaz:
http://arxiv.org/abs/2001.04284