Daniel de Carvalho
e-mail: daniel.decarvalho at lipn.univ-paris13.fr
LIPN - UMR CNRS 7030
Institut Galilée, Université Paris-Nord
99, avenue Jean-Baptiste Clément
93430 Villetaneuse
France
Papers:
- Daniel de Carvalho,
Intersection Types for Light Affine
Lambda Calculus, Electronic Notes in Theoretical Computer Science, Volume 136, 2005, pages 133-152.
- Daniel de Carvalho,
Execution Time of Lambda-Terms via Denotational Semantics and Intersection Types, to appear in Mathematical Structures in Computer Science.
-
Daniel de Carvalho,
A Note on Weak Algebraic Theories
, Rapport de recherche INRIA n° 6643, 2008.
- Daniel de Carvalho, Michele Pagani and Lorenzo Tortora de Falco,
A semantic measure of the execution time in Linear Logic, Theoretical Computer Science, volume 412, issue 20, 2011, pages 1884-1902.
-
Daniel de Carvalho and Lorenzo Tortora de Falco, The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings), to appear in Annals of Pure and Applied Logic.
Some talks:
PhD thesis:
Groupe de travail sur les catégories:
Marie Bjerrum nous parlera jeudi 12 avril 2012 de commutation de limites dans la catégorie des ensembles.