We study the notion of stratification, as used in subsystems of linear logic with low complexity bounds on the cut-elimination procedure (the so-called light logics), from an abstract point of view, introducing a logical system in which stratification is handled by a separate modality. This modality, which is a generalization of the paragraph modality of Girard’s light linear logic, arises from a general categorical construction applicable to all models of linear logic. We thus learn that (...)
Papiers
Avec Antoine Kaszczyc et Luc Pellissier Anticipation Flowing Backwards in a Functional Monetary Economics Simulation, Artificial Economics, sep. 2016.
[pdf]
Avec Antoine Kaszczyc et Luc Pellissier Monetary Economics Simulation : Stock-Flow Consistent Invariance, Monadic Style, Artificial Economics, sep. 2015.
[pdf]
Avec Damiano Mazza et Lorenzo Tortora de Falco An Abstract Approach to Stratification in Linear Logic publié, Information and Computation volume 241, April 2015.
Avec Guillaume Bonfante et Jean-Yves Moyen Extensional filters reveal algorithms , DICE (ETAPS satellite worskhop), april 2015.
[pdf, pdf]
Avec Fanny He et Michele Pagani A characterization of the Taylor expansion of lambda-terms, CSL 2013.
Elsevier considered harmful, Je m'engage à ne plus proposer, ni évaluer de travaux de recherche qui seraient publiés par Elsevier.
[html]
Non-uniform (hyper/multi)coherence spaces, MSCS 2011
Projecting games on hypercoherences, ICALP 2004
[pdf]