Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

15 juin 2017: 2 événements

Séminaire

  • Séminaire Logique et Interactions

    Jeudi 15 juin 11:00-12:00 - Luc PELLISSIER - LIPN, Paris 13

    Linear approximations, fibrations, intersection types

    Résumé : We investigate intersection types from the “type systems as functors” viewpoint, as recently given by Melliès and Zeilberger. After recasting type-theoretic notions such as subject reduction and subject expansion in functorial terms, we will give an intersection type system for linear logic (deriving from the fact that propositional linear logic is aproximated by its multiplicative fragment). Pulling back this intersection type system along translations of embeddings of a term language into linear logic gives a corresponding intersection type system. We discuss several instances of this general construction, recovering known systems and their usual properties.
    Joint work with Damiano Mazza and Pierre Vial.

    JPEG - 16.3 ko
    Luc PELLISSIER

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Séminaire Logique et Interactions

  • Séminaire Kécékssa

    Jeudi 15 juin 13:00-13:30 - Patrick IGLESIAS-ZEMMOUR - I2M, Marseille

    La difféologie, kécékssa ?

    Résumé : TBA

    JPEG - 10.1 ko
    Patrick IGLESIAS-ZEMMOUR

    Lieu : CMI - Amphi - I2M - Château-Gombert
    39 rue Frédéric Joliot-Curie
    13453 Marseille cedex 13

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Séminaire Kécékssa

15 juin 2017: 2 événements

groupe de travail

En savoir plus : Groupe de Travail Théorie Analytique, Probabiliste et Automatique des Suites (TAPAS)