Strong Conjunction and Intersection Types

Fabio Alessi,Franco Barbanera
DOI: https://doi.org/10.1007/3-540-54345-7_49
1991-09-09
Abstract:
What problem does this paper attempt to address?