Theory and practice of sequential algorithms: the kernel of the applicative language CDS (1985)

by G BERRY, P-L CURIEN
Venue:In Algebraic Methods in Semantics