Complete Call-by-Value Calculi of Control Operators, I

07/07/2017

∙

by   Ryu Hasegawa, et al.

∙

0

∙

share

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.