Pierre Boudes

Exposé pour l'anniversaire des 60 ans de Thomas Ehrhard

Pierre — 2022-10-03T09:56:09Z

An old story about coherence spaces, hypercoherences and the less known multicohences and some considerations concerning coherent differential PCF.

- Transparents

Anticipation Flowing Backwards in a Functional Monetary Economics Simulation

Pierre — 2016-09-30T14:13:00Z

Artificial Economics, sep. 2016.

- Papiers

Second MACME workshop

Pierre — 2015-12-09T13:51:38Z

We organize the second workshop on modelling and analysis of complex monetary economies, on th 18th of december, jointly with the CEPN. Website : https://sfc-abm.org/macme2/.

- Projets

Monetary Economics Simulation : Stock-Flow Consistent Invariance, Monadic Style

Pierre — 2015-10-30T14:49:24Z

Artificial Economics, sep. 2015.

- Papiers

An Abstract Approach to Stratification in Linear Logic publié

Pierre — 2015-10-30T14:07:27Z

Information and Computation volume 241, April 2015.

- Papiers

ANR Elica

Pierre — 2015-04-19T00:14:56Z

Expanding Logical Ideas for Complexity Analysis
Projet ANR 2014-2019.
– Site : http://lipn.univ-paris13.fr/ mazza/...
– Taux de participation : 10%

- Projets de recherche en cours

Extensional filters reveal algorithms

Pierre — 2015-04-12T12:50:00Z

DICE (ETAPS satellite worskhop), april 2015.

- Papiers

Programming in a stock-flow consistent framework

Pierre — 2015-01-01T21:52:00Z

Mon exposé au premier workshop MACME (décembre 2014).

- Transparents

MACME : analyse et modélisation des économies monétaires complexes

Pierre — 2013-12-02T23:07:36Z

Un nouveau projet (non encore financé) s'inscrivant dans un travail de recherche interdisciplinaire entre économie et informatique, sur les modèles stock-flux cohérents basés agents.
Page web du projet http://sfc-abm.org/macme/

- Projets

A characterization of the Taylor expansion of lambda-terms

Pierre — 2013-09-23T22:43:37Z

CSL 2013.

- Papiers