Patrick J. Hayes, Gary G. Hendrix. A Logical View of Types. In Michael L. Brodie, Stephen N. Zilles, editors, Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980. Volume 11 of pages 128-130, ACM Press, 1980. [doi]
@inproceedings{HayesH80,
title = {A Logical View of Types},
author = {Patrick J. Hayes and Gary G. Hendrix},
year = {1980},
doi = {10.1145/800227.806897},
url = {http://doi.acm.org/10.1145/800227.806897},
researchr = {https://researchr.org/publication/HayesH80},
cites = {0},
citedby = {0},
pages = {128-130},
booktitle = {Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980},
editor = {Michael L. Brodie and Stephen N. Zilles},
volume = {11},
number = {2},
publisher = {ACM Press},
isbn = {0-89791-031-1},
}