Artificial Economics, sep. 2015.
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]