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
15
Mai
Séminaire Chocola
Daniel Gratzer, Elies Harington, Hiroshi Unno
Voir https://chocola.ens-lyon.fr/events/meeting-2025-05-15/
Événements passés
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 [...]
La réduction des termes à ressources induit une extension conservative de la β-réduction sur les λ-termes
Rémy Cerda
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
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
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 [...]
An interpretation (by parametricity) of E-HA^ω inside HA^ω
Félix Castro
HA^ω (Higher Type Arithmetic) is a first order many sorted theory. It is a conservative extension of HA (Heyting Arithmetic a.k.a the intuitionistic version of Peano Arithmetic) obtained by extending the syntax of terms to [...]
