  We give new call-by-value calculi of control operators that are complete for
the continuation-passing style semantics. Various anticipated computational
properties are induced from the completeness. In the first part of a series of
papers, we give the characterization of termination properties using the
continuation-passing style semantics as well as the union-intersection type
discipline.
