Nottingham University / University of Durham / University of Leicester / /
IndustryTerm
tensor product / law holds / cartesian product / /
Organization
Department of Mathematics and Computer Science / Nottingham University / Department of Computer Science / University of Leicester / School of Computer Science and Information Technology / University of Durham / /
Derivatives of Containers Michael Abbott1 , Thorsten Altenkirch2, Neil Ghani1 , and Conor McBride3 1