Betti Venneri. Intersection Types as Logical Formulae. Journal of Logic and Computation, 4(2):109-124, 1994.
@article{Venneri94,
title = {Intersection Types as Logical Formulae},
author = {Betti Venneri},
year = {1994},
researchr = {https://researchr.org/publication/Venneri94},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {4},
number = {2},
pages = {109-124},
}