mellies-2017-an:
  type: article
  title: An Isbell duality theorem for type refinement systems
  author:
  - MELLIÈS, PAUL-ANDRÉ
  - ZEILBERGER, NOAM
  date: 2017-03
  page-range: 736-774
  url: http://dx.doi.org/10.1017/s0960129517000068
  serial-number:
    doi: 10.1017/s0960129517000068
    issn: 1469-8072
  parent:
    type: periodical
    title: Mathematical Structures in Computer Science
    publisher: Cambridge University Press (CUP)
    issue: 6
    volume: 28