## Intersection types for light affine lambda calculus (2004)

### Cached

### Download Links

- [www.loria.fr]
- [logica.uniroma3.it]
- [itrs04.di.unito.it]
- DBLP

### Other Repositories/Bibliography

by
Daniel De Carvalho

Venue: | In Proceedings of 3rd Workshop on Intersection Types and Related Systems (ITRS’04 |

Citations: | 5 - 1 self |