Categorical combinators, sequential algorithms and functional programming (1986)

by P L Curien
Venue:Research Notes in Theoretical Computer Science