%0 Journal Article
%A Michael Shulman
%T A practical type theory for symmetric monoidal categories
%J Theory and applications of categories
%D 2021
%P 863-907
%V 37
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2021_37_a24/
%G en
%F TAC_2021_37_a24