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
18
Déc
Événements passés
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 (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 [...]
Toposes for monoid actions for complexity theory
Morgan Rogers (LIPN, Université Sorbonne Paris Nord)
This talk has three parts. First, I want to explain how common models of computation can be presented as monoid acts, which motivates the perspective [...]
