English
Weighted relational models
Multi angle
Auteurs : McCusker, Guy (Auteur de la conférence)
CIRM (Editeur )
03B70 - Logic of programming, See also {68Q55, 68Q60}
68N15 - Programming languages
68N18 - Functional programming and lambda calculus
68Q55 - Semantics
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/2980/Slides/mccusker-dill.pdf
CIRM (Editeur )
Loading the player...
|
Résumé :
Many models of (differential) linear logic and lambda-calculus can be regarded as a quantitative enrichment of the relational semantics of linear logic. This talk presents an introduction to these models, taking a simple but flexible approach. Relations can be enriched with coefficients drawn from any complete semiring — a structure which allows multiplication and infinite summation of quantities — and in each case we obtain a soundness result with respect to a quantitative operational semantics for a functional language with recursion, nondeterminism and quantitative effects. Examples include models that track the number of possible reduction paths, the length of the shortest reduction path, or the probability of termination of a program.
Mots-Clés : quantitative semantics; linear logic; lambda calculus
Codes MSC : Mots-Clés : quantitative semantics; linear logic; lambda calculus
03B70 - Logic of programming, See also {68Q55, 68Q60}
68N15 - Programming languages
68N18 - Functional programming and lambda calculus
68Q55 - Semantics
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/2980/Slides/mccusker-dill.pdf
|
Informations sur la Vidéo
Réalisateur : Recanzone, LucaLangue : Anglais Date de Publication : 03/06/2024 Date de Captation : 14/05/2024 Sous Collection : Research talks Catégorie arXiv : Logic in Computer Science ; Programming Languages Domaine(s) : Informatique ; Logique et Fondements Format : MP4 (.mp4) - HD Durée : 00:57:42 Audience : Chercheurs ; Etudiants Science Cycle 2 ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2024-05-14-Mccusker.mp4 
|
Informations sur la Rencontre
Nom de la Rencontre : Differential $\lambda $-Calculus and Differential Linear Logic, 20 Years Later / $\lambda $--calcul différentiel et logique linéaire différentielle, 20 ans aprèsOrganisateurs de la Rencontre : Cerda, Rémy ; Guerrieri, Giulio ; Olimpieri, Federico ; Tasson, Christine ; Vaux Auclair, Lionel Dates : 13/05/2024 - 17/05/2024 Année de la rencontre : 2024 URL de la Rencontre : https://conferences.cirm-math.fr/2980.html
Données de citation
DOI : 10.24350/CIRM.V.20170603Citer cette vidéo: McCusker, Guy (2024). Weighted relational models. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20170603 URI : http://dx.doi.org/10.24350/CIRM.V.20170603 |
Voir Aussi
- [Multi angle] Böhm trees and Taylor expansion / Auteur de la conférence Manzonetto, Giulio.
- [Multi angle] Differential categories / Auteur de la conférence Lemay, Jean-Simon.
- [Multi angle] An introduction to Differential Linear Logic / Auteur de la conférence Kerjean, Marie.
- [Multi angle] Differential categories from functor calculus / Auteur de la conférence Johnson, Brenda.
Bibliographie
- EHRHARD, Thomas. Finiteness spaces. Mathematical Structures in Computer Science, 2005, vol. 15, no 4, p. 615-646. - https://doi.org/10.1017/S0960129504004645
- EHRHARD, Thomas, TASSON, Christine, et PAGANI, Michele. Probabilistic coherence spaces are fully abstract for probabilistic PCF. In : Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2014. p. 309-320. - https://doi.org/10.1145/2535838.2535865
- LAMARCHE, François. Quantitative domains and infinitary algebras. Theoretical computer science, 1992, vol. 94, no 1, p. 37-62. - https://doi.org/10.1016/0304-3975(92)90323-8
- LAIRD, Jim, MANZONETTO, Giulio, MCCUSKER, Guy, et al. Weighted relational models of typed lambda-calculi. In : 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE, 2013. p. 301-310. - https://doi.org/10.1109/LICS.2013.36
Imagette Video
