The ``relevance of intersection and union types

From MaRDI portal
Publication:1381437

DOI10.1305/NDJFL/1039724889zbMath0918.03008OpenAlexW1969658529MaRDI QIDQ1381437

Betti Venneri, Silvia Ghilezan, Mariangiola Dezani-Ciancaglini

Publication date: 17 August 1999

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039724889




Related Items (8)




Cites Work




This page was built for publication: The ``relevance of intersection and union types