Séminaire Logique et Interactions
Le séminaire Logique et Interaction est le séminaire de l’équipe LDP de l’I2M. Il est conjoint au séminaire de l’équipe LSC du LIS.
Une liste de diffusion (modérée) pour recevoir les annonces d’exposés : i2m-seminaire-logique@univ-amu.fr
Pour s’inscrire, contacter le responsable.
Les prochains séminaires
30
Apr
07
May
21
May
28
May
Événements passés
06
Jun
Journées LHC et Métayer à Paris
(...)
Voir : https://smimram.gitlabpages.inria.fr/lhc/journees/2023/04/01/journees.html
01
Jun
Profinite lambda-terms and parametricity
Vincent Moreau (IRIF)
This talk will present a definition of profinite lambda-terms of any simple type. Profinite structures naturally appear in automata theory as a way to speak [...]
25
May
Caractérisation de H* par le développement de Taylor extensionnel
Lionel Vaux-Auclair (I2M)
Le développement de Taylor extensionnel déjà présenté au séminaire le 9 février dernier valide les règles β et η : deux termes βη-convertibles ont des développements [...]
11
May
04
May
Quantitative inhabitation for different lambda calculi in a unifying framework
Victor Arrial (IRIF)
We study the inhabitation problem for a language called 𝜆!, a subsuming paradigm (inspired by call-by-push-value) being able to encode Call-by-Name and Call-by-Value strategies of [...]
20
Apr
Exponential functions and exponential connectives: turning the Taylor expansion into a monad
Marie Kerjean (LIPN)
TBA.
Generalized algebraic theories and categories with families
Peter Dybjer (Chalmers University of Technology, Göteborg)
We give a new syntax independent definition of the notion of a generalized algebraic theory as an initial object in a category of categories with [...]
La réduction des termes à ressources induit une extension conservative de la β-réduction sur les λ-termes
Rémy Cerda (I2M, Aix-Marseille)
Tout est dans le titre, qu’on aura peut-être le temps de prolonger par : « On a en outre des raisons raisonnables de penser que, [...]
Développement de Taylor extensionnel des λ-termes purs
Lionel Vaux Auclair (I2M, Aix Marseille université)
Né au début des années 2000 avec les travaux d’Ehrhard et Regnier sur le λ-calcul différentiel, le développement de Taylor des programmes et des preuves [...]
