logic, comonads and optimal reductions. Fundamentae Informaticae, 22:3{22 (1995)

by Linear
Venue:In Proceedings of Twentythird Annual ACM Symposyum on Principles of Programming Languages, St. Petersburg Beach