2000 character limit reached
Complete Call-by-Value Calculi of Control Operators, I (1707.02056v2)
Published 7 Jul 2017 in cs.LO and cs.PL
Abstract: 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.