Zobrazeno 1 - 10
of 93
pro vyhledávání: '"Thomas Ehrhard"'
Autor:
Thomas Ehrhard
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
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:
https://doaj.org/article/31ab33d43b7f4a2184a5ab4e377674f7
Autor:
Thomas Ehrhard
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
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:
https://doaj.org/article/7515c298c084480cb3b272e07309c9a3
Autor:
Thomas Ehrhard, Christine Tasson
Publikováno v:
Logical Methods in Computer Science, Vol Volume 15, Issue 1 (2019)
We introduce a probabilistic extension of Levy's Call-By-Push-Value. This extension consists simply in adding a " flipping coin " boolean closed atomic expression. This language can be understood as a major generalization of Scott's PCF encompassing
Externí odkaz:
https://doaj.org/article/22ae8f7d04124c92a539728a6fcf2485
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 113, Iss Proc. LSFA 2012, Pp 93-108 (2013)
We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without any restri
Externí odkaz:
https://doaj.org/article/185c014021b74822ba4d94dac1dcd7c5
Publikováno v:
Logical Methods in Computer Science, Vol Volume 8, Issue 4 (2012)
We study the semantics of a resource-sensitive extension of the lambda calculus in a canonical reflexive object of a category of sets and relations, a relational version of Scott's original model of the pure lambda calculus. This calculus is related
Externí odkaz:
https://doaj.org/article/1518eeaba47047498134b0f457a61723
Autor:
Thomas Ehrhard, Olivier Laurent
Publikováno v:
Logical Methods in Computer Science, Vol Volume 6, Issue 3 (2010)
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding
Externí odkaz:
https://doaj.org/article/57f04a3bcaca465381ed68444c74ba3c
Autor:
Thomas Ehrhard, Solal Attias, Evripidis Bampis, Vincent Cohen-Addad, Bruno Escoffier, Claire Mathieu, Fanny Pascual, Adèle Pass-Lanneau, David Saulpic
Publikováno v:
Revue française de science politique. 72:333-364
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::da92d05c148aa122575f5e2731c9511c
https://doi.org/10.3917/rfsp.723.0333
https://doi.org/10.3917/rfsp.723.0333
Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction o
Autor:
Thomas Ehrhard
The categorical models of differential linear logic (LL) are additive categories and those of the differential lambda-calculus are left-additive categories because of the Leibniz rule which requires the summation of two expressions. This means that,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a7e68ad25cc58904adb5f2c7c9072b25
https://hal.archives-ouvertes.fr/hal-03282799v3/document
https://hal.archives-ouvertes.fr/hal-03282799v3/document
Publikováno v:
Gouvernement et action publique. 8:81-112
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2fc614ea919ed832d92b014f719cc2cd
https://doi.org/10.3917/gap.192.0081
https://doi.org/10.3917/gap.192.0081