@misc{9397,
  author = {Jo Hannay},
  title = {Axiomatic Criteria for Quotients and Subobjects at Higher Order},
  abstract = {Axiomatic criteria are given for the existence of higher-order maps over subobjects and quotients. These criteria are applied in showing the soundness of a method for proving specification refinement up to observational equivalence. This generalises the method to handle data types with higher-order operations. We also give a direct setoid-based model satisfying the criteria. The setting is the second-order polymorphic lambda calculus and the assumption of relational parametricity.},
  year = {2003},
  journal = {Automata, Languages and Programming. Proceedings of ICALP 2003, 30th International Colloquium, Eindhoven, the Netherlands, LNCS volume 2719},
  pages = {903-917},
  month = {June 30 - July 4},
  publisher = {Springer-Verlag},
}