Hajime Ishihara, Toshihiko Kurata. Completeness of intersection and union type assignment systems for call-by-value lambda-models. Theoretical Computer Science, 272(1-2):197-221, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.