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

by
Daniel De Carvalho

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

Citations: | 4 - 1 self |