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

by G Berry, P-L Curien
Venue:Algebraic Semantics