@article{mellies-2017-an, title={An Isbell duality theorem for type refinement systems}, volume={28}, ISSN={1469-8072}, url={http://dx.doi.org/10.1017/s0960129517000068}, DOI={10.1017/s0960129517000068}, number={6}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={MELLIÈS, PAUL-ANDRÉ and ZEILBERGER, NOAM}, year={2017}, month=Mar, pages={736–774} }