Closed categories generated by commutative monads (1971)

by A Kock
Venue:J. Austral. Math. Soc