Translator Disclaimer
March 2002 A classification of intersection type systems
M. W. Bunder
J. Symbolic Logic 67(1): 353-368 (March 2002). DOI: 10.2178/jsl/1190150049
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
16 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.67 • No. 1 • March 2002
Back to Top