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
21
May
28
May
25
Jun
02
Jul
Événements passés
22
Jun
Simply typed β-convertibility is TOWER-complete even for safe λ-terms
Lê Thành Dũng (Tito) Nguyễn (ENS Lyon)
We consider the following decision problem: given two simply typed λ-terms, are they β-convertible? Equivalently, do they have the same normal form? It is famously [...]
15
Jun
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 [...]
