TY - JOUR AU - Seerp Roald Koudenburg TI - Augmented virtual double categories JO - Theory and applications of categories PY - 2020 SP - 261 EP - 325 VL - 35 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2020_35_a9/ LA - en ID - TAC_2020_35_a9 ER -