left cancellation law / unital law / evaluation operator / high-school distributivity law / medial law / involutory law / cancellation law / basic tool / /
Organization
FMS Foundation / /
Person
PETER FREYD / Don von Osdol / Mike Barr / Michael Barr / / /
Position
theoretical computer scientist / Executive Director / writer / /