Zobrazeno 1 - 10
of 21
pro vyhledávání: '"differential lambda-calculus"'
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
Cartesian difference categories are a recent generalisation of Cartesian differential categories which introduce a notion of "infinitesimal" arrows satisfying an analogue of the Kock-Lawvere axiom, with the axioms of a Cartesian differential category
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d9da004c280f3c13d5176b79015dbc4
https://ora.ox.ac.uk/objects/uuid:1336b551-8a05-4a6a-966c-23e9b8f890f9
https://ora.ox.ac.uk/objects/uuid:1336b551-8a05-4a6a-966c-23e9b8f890f9
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Jonathan Gallagher, J. R. B. Cockett
Publikováno v:
MFPS
The paper shows that the Scott-Koymans theorem for the untyped λ-calculus extends to the differential λ-calculus. The main result is that every model of the untyped differential λ-calculus may be viewed as a differential reflexive object in a Cart
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a9bd141a8deed491218569e80d5a0f91
https://doi.org/10.1016/j.entcs.2016.09.032
https://doi.org/10.1016/j.entcs.2016.09.032
Autor:
Thomas Ehrhard, Laurent Regnier
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2006, 364 (2), pp.166-195. ⟨10.1016/j.tcs.2006.08.003⟩
Theoretical Computer Science, 2006, 364 (2), pp.166-195. ⟨10.1016/j.tcs.2006.08.003⟩
Theoretical Computer Science, Elsevier, 2006, 364 (2), pp.166-195. ⟨10.1016/j.tcs.2006.08.003⟩
Theoretical Computer Science, 2006, 364 (2), pp.166-195. ⟨10.1016/j.tcs.2006.08.003⟩
30 pages; International audience; We introduce interaction nets for a fragment of the differential lambda-calculus and exhibit in this framework a new symmetry between the "of course" and the "why not" modalities of linear logic, which is completely
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff1d7c06ccd47f3efc7b4fbb87999f3f
Autor:
Midez, Jean baptiste
Le lambda-calcul avec ressources est une variante du lambda-calcul fondée sur la linéarité : les lambda-termes avec ressources sont aux lambda-termes ce que sont les polynômes aux fonctions réelles, c'est à dire des approximations multi-linéai
Externí odkaz:
http://www.theses.fr/2014AIXM4093/document
Publikováno v:
Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
Computer Science Logic, 24th International Workshop, CSL 2010
Computer Science Logic, 24th International Workshop, CSL 2010, Aug 2010, Brno, Czech Republic. pp.170-184
Computer Science Logic ISBN: 9783642152047
CSL
Computer Science Logic, 24th International Workshop, CSL 2010
Computer Science Logic, 24th International Workshop, CSL 2010, Aug 2010, Brno, Czech Republic. pp.170-184
Computer Science Logic ISBN: 9783642152047
CSL
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 res
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::012fda601121b6f7fb486fe7d983f7d3
https://hal.archives-ouvertes.fr/hal-00527050
https://hal.archives-ouvertes.fr/hal-00527050
Autor:
Hyvernat, Pierre
We define a model for linear logic based on two well-known ingredients: games and simulations. This model is interesting in the following respect: while it is obvious that the objects interpreting formulas are games and that everything is developed w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b434e6b9ea5ad3fff79fb9aca24840f0
Autor:
Vaux, Lionel
Publikováno v:
Logique [math.LO]. Université de la Méditerranée-Aix-Marseille II, 2007. Français
Mathématiques [math]. Université de la Méditerranée-Aix-Marseille II, 2007. Français
Logique [math.LO]. Université de la Méditerranée-Aix-Marseille II, 2007. Français. ⟨NNT : ⟩
Mathématiques [math]. Université de la Méditerranée-Aix-Marseille II, 2007. Français
Logique [math.LO]. Université de la Méditerranée-Aix-Marseille II, 2007. Français. ⟨NNT : ⟩
We study the possible interactions between Ehrhard-Regnier's differential λ-calculus and pure calculi associated with classical logic : Parigot's λµ-calculus and Herbelin's λ-bar-µ-calculus. The impetus to this study is given by the respective d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f53f70374b097edf6792542de0a0486b
https://theses.hal.science/tel-00194149v4
https://theses.hal.science/tel-00194149v4
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.