Linear_logic,_∗-autonomous_categories_and_cofree_coalgebras