Person. Pierre-Louis Curien

Papers

A theory of effects and resources: adjunction models and polarised calculi curien-2016-a

DOI · pldb

The Duality of Computation under Focus curien-2010-the

DOI · arXiv
pierrelouiscurien person entries/rolodex/pierrelouiscurien.hel