BEGIN:VCALENDAR
VERSION:2.0
X-WR-TIMEZONE:Europe/Paris
CALSCALE:GREGORIAN
PRODID:-//SPIP/Plugin Agenda//NONSGML v1.0//FR
X-WR-CALNAME;VALUE=TEXT: -- Institut de Mathématiques de Marseille\, UMR 7373
X-WR-RELCALID:http://www.i2m.univ-amu.fr/spip.php?page=article&id_article=0
BEGIN:VEVENT
SUMMARY:Zeinab GALAL - Connecting models of differential linear logic with reloids
UID:20181120T092047-a123-e2613@https://www.i2m.univ-amu.fr
DTSTAMP:20181120T092047
DTSTART:20181122T110000
DTEND:20181122T123000
CREATED:20181120T092047
ATTENDEE;CN=Zeinab GALAL:mailto:no-reply@math.cnrs.fr
LAST-MODIFIED:20181120T092047
LOCATION:Salle des séminaires 304-306 (3ème étage)
DESCRIPTION:Species of structures were introduced by Joyal as a unified framework for the theory of generating series in enumerative combinatorics.Species are connected to Girard's normal functor semantics of λ-calculus where terms are interpreted as power series with sets as coefficients.Fiore et al. presented a generalised definition that both encompasses Joyal's species and constitutes a model of differential linear logic.For generalised species of structures\, types are interpreted as groupoids which provides the connection with combinatorics whereas they are interpeted as sets in Girard's normal functors and in the relational model. To investigate how these models interact\, we introduce a variant of the relational model where objects are setoids (sets equipped with an equivalence relation) and morphisms are relations. We obtain a new model of differential linear logic (named Reloids) that allows for a less degenerate collapse from species than the one to normal functors or relations. We then show how to construct functors preserving the linear logic structure between these four models. http://www.irif.fr/users/zgalal/[
CATEGORIES:(Séminaire Logique et Interactions|textebrut|filtrer_ical)]
URL:http://www.i2m.univ-amu.fr/Seminaire-Logique-et-Interactions?id_evenement=2613
SEQUENCE:0
STATUS:CONFIRMED
END:VEVENT