mellies_zeilberger_2013:
  type: misc
  title: Type refinement and monoidal closed bifibrations
  author:
  - Melliès, Paul-André
  - Zeilberger, Noam
  date: 2013
  url: https://arxiv.org/abs/1310.0263
  note: arXiv:1310.0263