Fixed points in cartesian closed categories (1990)

by Michael Barr
Venue:Theoretical Computer Science