%0 Journal Article %A Bojana Femić %T Bifunctor Theorem and strictification tensor product for double categories with lax double functors %J Theory and applications of categories %D 2023 %P 824-873 %V 39 %I mathdoc %U http://geodesic.mathdoc.fr/item/TAC_2023_39_a28/ %G en %F TAC_2023_39_a28