Category Theory, Types, and Programming Languages (1991)

by H Dybkjaer