Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / University of Aarhus / University of Edinburgh / University of Cambridge / /
IndustryTerm
tensor product / finite products / /
Organization
Danish National Research Foundation / University of Aarhus / BRICS Department / Computer Science University of Aarhus Ny Munkegade / University of Cambridge / University of Edinburgh / /
Person
John Power Gian Luca Cattani / Luca Cattani Glynn Winskel / / /