Cette thèse porte sur les propriétés mathématiques du Calcul et, plus particulièrement, sur le déterminisme et la séquentialité. Dans une perspective issue de la théorie de la démonstration, elle porte aussi sur l’accès aux ressources, avec l’étude des exponentielles de la Logique Linéaire, ainsi que sur l’interactivité interne du Calcul, dont la Ludique de J.-Y. Girard tire par ailleurs parti.
Notre point de vue est celui de la sémantique dénotationnelle : nous modélisons le Calcul en interprétant ses (...)
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]