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:  

• Measuring the Execution Time in lambda-calculus and linear logic, February 17, 2009, Concerto, Bologna.
• Construire de nouveaux modèles de la logique linéaire le 9 juillet 2007 à l'Université Roma III.
• La sémantique relationnelle est injective pour la logique linéaire le 30 juin 2011 à l'Université Aix-Marseille 2.

PhD thesis:

• Sémantiques de la logique linéaire et temps de calcul (version révisée du 28 décembre 2007).
  Jury :
  • Patrick BAILLOT
  • Pierre-Louis CURIEN
  • Thomas EHRHARD
  • Martin HYLAND
  • François LAMARCHE
  • Kazushige TERUI
  • Lorenzo TORTORA DE FALCO

Groupe de travail sur les catégories: