23 octobre 2014, 11:00 : Séminaire

Marco Solieri (Paris 13 (LIPN) / Bologna (Focus)), Geometry of Resource Interaction – A Minimalist Approach

The Resource λ-calculus (RC) is a variation of the λ-calculus where arguments can be superposed and must be linearly used, and where reduction introduces formal sums on terms. Hence it is a model for non-deterministic and linear programming languages. But RC is also the target language of Taylor-Ehrhard expansion of λ-terms, a linearisation of the usage of arguments. In a strictly typed restriction of RC, we study the notion of paths on proof-nets and the property of persistency. We define a Geometry of Interaction (GoI) that is invariant under reduction, consequently characterises path persistency, and also accurately counts the number of addends being superposed in normal forms. This work intend to be the first step toward an higher destination: understanding and explicitly describing the relation between expansion and GoI.

13 novembre 2014

Séminaire Chocola à Lyon.

Du 4 au 5 décembre 2014 : Chocola à Marseille

Séminaire Chocola à Marseille, avec les soutenances de Marc Bagnol (le 4 décembre) et Michele Alberti (le 5 décembre).

Michele Alberti (I2M), Soutenance de thèse
Marc Bagnol (I2M), Soutenance de thèse
Guillaume Geoffroy (ÉNS), (à préciser)
Paul Blain Levy, (à préciser)
Kazushige Terui, (à préciser)