Bilinearity and cartesian closed monads (1971)

by A Kock
Venue:Mathematica Scand