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
Topologies faibles et logique linéaire
Marie Kerjean
Je présenterai dans cet exposé un modèle de la logique linéaire différentielle où les formules sont interprétées par les espaces vectoriels topologiques localement convexes. La [...]
09
Oct
02
Oct
Programmation logique, unification et espace logarithmique
Clément Aubert
Nous présentons une construction algébrique qui a pour loi de composition l’unification de termes du premier ordre, et comment y représenter le calcul. La correspondance [...]
Sur le groupoïde de géométrie d'une variété équationnelle équilibrée
Laurent Poinsot
Patrick Dehornoy a construit un monoïde de fonctions partiellement définies sur une algèbre de termes sur un domaine d'opérateurs (signature) S, dit conoïde de géométrie, [...]
Coordinatizing MV algebras and AF C*-algebras by inverse monoids
Philip Scott
Slides Joint work with M. Lawson.
Canonicity of groupoids laws using parametricity theory
Marc Lasson
The synthetic approach to weak ω-groupoids promoted by the univalent foundation program is the idea that (homotopy) type theory should be the primitive language in [...]
Type theory modulo isomorphisms
Alejandro Díaz-Caro
We defined a typed lambda-calculus where the isomorphisms between types are raised to the level of an equality relation. To this end, an equivalence relation [...]
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi
Benoît Valiron
In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model model of linear logic. We first define [...]
