A Logical View of Types

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/sigmod/HayesH80, ee={http://doi.acm.org/10.1145/800227.806897}, ee={db/conf/sigmod/HayesH80.html}, title={A Logical View of Types}, pages={128-130}, cdrom={PINGREE1980/P128.pdf}, year={1980}, crossref={DBLP:conf/sigmod/80p}, booktitle={Workshop on Data Abstraction, Databases and Conceptual Modelling}, url={http://www.informatik.uni-trier.de/~ley/db/conf/sigmod/pingree80.html#HayesH80}, author={Patrick J. Hayes and Gary G. Hendrix} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/A_Logical_View_of_Types"
Personal tools