Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Daniel de CARVALHO



Année
Publications
Files &
Ref.IML
2005 de Carvalho Daniel.
Intersection types for light affine lambda calculus.
Proceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004), M. Coppo and F. Damiani, editors, ENTCS, vol. 136, 133--152, 2005.
 



Last update : october 5, 2005, EL.