Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Séminaire

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion

Giulio Guerrieri
University of Bath, UK
https://www.irif.fr/~giuliog/

Date(s) : 01/04/2021   iCal
10h30 - 11h30

A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing those sets of resource proof-structures that are part of the Taylor expansion of some MELL proof-structure, through a rewriting system acting both on resource and MELL proof-structures. As a consequence, we also prove semi-decidability of the type inhabitation problem for cut-free MELL proof-structures.

This is joint work with Luc Pellissier and Lorenzo Tortora de Falco.

En visio-conférence ici :

  https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef

 

Catégories


Secured By miniOrange