A Categorical Programming Language (1987)

by Tatsuya Hagino, Tatsuya Hagino