Intersection types for explicit substitutions (0)

by S Lengrand, A Miquel
Venue:Inform. and Comput