Stem freyd$ (all stems)
2 papers:
ICALP-1999-PowerT- Closed Freyd- and κ-categories (JP, HT), pp. 625–634.
LICS-1991-Statman #combinator #monad- Freyd’s Hierarchy of Combinator Monoids (RS), pp. 186–190.
ICALP-1999-PowerT
LICS-1991-Statman #combinator #monad