Freyd's hierarchy of combinator monoids | IEEE Conference Publication | IEEE Xplore