Séminaire Logique et Interactions
Une liste de diffusion (modérée) pour être tenu au courant des exposés de ce séminaire : i2m-seminaire-logique@univ-amu.fr
Pour s’inscrire, contacter le responsable.
Les prochains séminaires
03
Oct
Événements passés
20
Juin
Realizability Models for Large Cardinals
Richard Matthews
The method of realizability was first developed by Kleene and is seen as a way to extract computational content from mathematical proofs via the Curry-Howard [...]
30
Mai
Regular samplers and the De Finetti construction in Integrable Cones
Raphaëlle Crubilllé
The starting point of this talk is the structure of the object !Bool in probabilistic coherent spaces. For the purpose of building a semantics interpretation [...]
18
Avr
11
Avr
Séminaire LSC: Coherence by Normalization for Linear Multicategorical Structures
We establish a formal correspondence between resource calculi and appropriate linear multicategories. We consider the cases of (symmetric) representable, symmetric closed and autonomous multicategories. For [...]
