@misc{mellies_zeilberger_2013,
 title = {Type refinement and monoidal closed bifibrations},
 author = {Melli\`es, Paul-Andr\'e and Zeilberger, Noam},
 year = {2013},
 url = {https://arxiv.org/abs/1310.0263},
 note = {arXiv:1310.0263}
}