The tensor product in wadler’s analysis of list (1994)

by F Nielson, H R Nielson
Venue:Science of Computer Programming