TY  - RPRT
TI  - A Complete Characterization of Complete Intersection-Type Theories
AU  - M. Dezani-Ciancaglini
AU  - F. Honsell
AU  - F. Alessi
PY  - 2000
UR  - https://arxiv.org/abs/cs/0011039
ID  - cs/0011039
ER  -