Statistics University of Sydney / Computing Macquarie University / Computer Science University of Oxford / /
IndustryTerm
unit law / diverse applications / style applications / binary product / finite products / associativity law / memory management / software development / /
Organization
Computer Science University of Oxford / African Union / AU School of Mathematics / University of Sydney / Macquarie University / /
Person
Frank Hermann / Jeremy Gibbons / Michael Johnson / Janis Voigtlnder / Gabriele Taentzer / Julia Padberg / /