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
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 [...]
Category theory in the Univalent Foundations
Benedikt Ahrens
The Univalent Foundations is an extension of Intensional Martin-Löf Type Theory (MLTT) recently proposed by V. Voevodsky. Its novelty is the Univalence Axiom which implements [...]
Proof theory for dynamic logics
Giuseppe Greco
We introduce a multi-type display calculus for (intuitionistic) dynamic epistemic logic and (concurrent) propositional dynamic logic, which we refer to as Dynamic Calculi. The display [...]
