Robin Cooper. Records and Record Types in Semantic Theory. Journal of Logic and Computation, 15(2):99-112, 2005. [doi]
@article{Cooper05:0,
title = {Records and Record Types in Semantic Theory},
author = {Robin Cooper},
year = {2005},
doi = {10.1093/logcom/exi004},
url = {http://dx.doi.org/10.1093/logcom/exi004},
tags = {type theory},
researchr = {https://researchr.org/publication/Cooper05%3A0},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {15},
number = {2},
pages = {99-112},
}