%0 Journal Article
%A Seerp Roald Koudenburg
%T Formal category theory in augmented virtual double categories
%J Theory and applications of categories
%D 2024
%P 288-413
%V 41
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2024_41_a9/
%G en
%F TAC_2024_41_a9