A good choice if you are familiar already with domain theory. It also contains an annotated bibliography which includes most of the abovementioned books and more. McLarty A good general introduction. MacLane Mac Lane is the categorical bible. Definitely the best introduction I have seen.
People can have a reasonable expectation of grasping almost everything in the book.
Self contained introduction with references to applications. Goguen Not self-contained. Encourages the use of categorical concepts by computer scientists. Can fire the right connections for computer scientists familiar with functional programming.