Mark Levene, George Loizou. The Nested Relation Type Model: An Application of Domain Theory to Databases. Comput. J., 33(1):19-30, 1990.
@article{LeveneL90, title = {The Nested Relation Type Model: An Application of Domain Theory to Databases}, author = {Mark Levene and George Loizou}, year = {1990}, tags = {type theory}, researchr = {https://researchr.org/publication/LeveneL90}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {33}, number = {1}, pages = {19-30}, }