Intersection types for light affine lambda calculus (2005)

by D de Carvalho
Venue:Electr. Notes Theor. Comput. Sci