Categorical combinators,sequential algorithms and functional programming.
Curien P-L
Categorical combinators,sequential algorithms and functional programming. - 1986
5816
Textual
B23, M6
Categorical combinators,sequential algorithms and functional programming. - 1986
5816
Textual
B23, M6
