Approximation Theorems for Intersection Type Systems.

MLA

Dezani-Ciancaglini, Mariangiola, et al. “Approximation Theorems for Intersection Type Systems.” Journal of Logic & Computation, vol. 11, no. 3, June 2001. EBSCOhost, https://doi.org/10.1093/logcom/11.3.395.

APA

Dezani-Ciancaglini, M., Honsell, F., & Motohama, Y. (2001). Approximation Theorems for Intersection Type Systems. Journal of Logic & Computation, 11(3). https://doi.org/10.1093/logcom/11.3.395

Chicago

Dezani-Ciancaglini, Mariangiola, Furio Honsell, and Yoko Motohama. 2001. “Approximation Theorems for Intersection Type Systems.” Journal of Logic & Computation 11 (3). doi:10.1093/logcom/11.3.395.