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
Pas d'évènements à afficher
Événements passés
22
Juin
Simply typed β-convertibility is TOWER-complete even for safe λ-terms
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
Juin
06
Juin
Journées LHC et Métayer à Paris
Voir : https://smimram.gitlabpages.inria.fr/lhc/journees/2023/04/01/journees.html
01
Juin
Profinite lambda-terms and parametricity
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
Mai
Caractérisation de H* par le développement de Taylor extensionnel
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
Mai
04
Mai
Quantitative inhabitation for different lambda calculi in a unifying framework
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
Avr
Generalized algebraic theories and categories with families
Peter Dybjer
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 [...]
