Intersection types for light affine lambda calculus (2004)

Cached

Download Links

by Daniel De Carvalho
Venue:In Proceedings of 3rd Workshop on Intersection Types and Related Systems (ITRS’04
Citations:4 - 1 self