TY  - RPRT
TI  - Linear Hyperdoctrines and Comodules
AU  - Mariana Haim
AU  - Octavio Malherbe
PY  - 2016
UR  - https://arxiv.org/abs/1612.06602
ID  - 1612.06602
ER  -