Hirofumi Yokouchi
Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers
LICS, 1998.
@inproceedings{LICS-1998-Yokouchi, author = "Hirofumi Yokouchi", booktitle = "{Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1998.705672", isbn = "0-8186-8506-9", pages = "368--379", publisher = "{IEEE Computer Society}", title = "{Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers}", year = 1998, }