Papiers

  • Hypercohérences et jeux

    (Papiers)
    7 avril 2005

    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 (...)

    fichiers : pdf, gz

1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14

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]
Bluehats & UnivMobile , Présentation de la démarche design employée pour UnivMobile faite à la rencontre bluehats du 11 décembre 2019. [pdf, jpg]
Mon université en 2030, Texte d'une intervention que j'ai faite dans le cadre d'une soirée Cap 2030, organisée par le EdFab à Cap Digital le 27 février (...)
Revenu et logement, Je livre ici quelques éléments de comparaison concernant mon niveau de vie, pour couper court à quelques idées reçues, et un condensé de nombreuses (...)
Revenu et travail d’un enseignant-chercheur, Cet article complète l'article Revenu et logement, en détaillant un peu le budget de mon ménage, mon parcours d'enseignant-chercheur en terme de (...)
Cybersyn (el systemo synco), Au café, mardi 5 avril 2011, j'ai bien vu que, mis à part Antoine Allombert, personne ne connaissait l'histoire de l'extraordinaire projet chilien (...) [jpg, jpg, png]