Artificial Economics, sep. 2016.
Papiers
-
Anticipation Flowing Backwards in a Functional Monetary Economics Simulation
30 septembre 2016, par Pierre -
Monetary Economics Simulation : Stock-Flow Consistent Invariance, Monadic Style
30 octobre 2015, par PierreArtificial Economics, sep. 2015.
-
An Abstract Approach to Stratification in Linear Logic publié
30 octobre 2015, par PierreInformation and Computation volume 241, April 2015.
-
Extensional filters reveal algorithms
12 avril 2015, par PierreDICE (ETAPS satellite worskhop), april 2015.
-
A characterization of the Taylor expansion of lambda-terms
23 septembre 2013, par PierreCSL 2013.
-
An Abstract Approach to Stratification in Linear Logic
17 février 2013, par PierreWe 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 (...)
-
Elsevier considered harmful
26 janvier 2012, par PierreJe m’engage à ne plus proposer, ni évaluer de travaux de recherche qui seraient publiés par Elsevier.
-
Non-uniform (hyper/multi)coherence spaces
2 février 2011, par PierreMSCS 2011
-
Thick Subtrees, Games and Experiments
2 février 2011, par PierreTLCA 09
-
Projecting games on hypercoherences
7 avril 2005ICALP 2004