|
 |
Last update : october 5, 2005, EL.
|
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.
|