Hasegawa, Ryu - Complete Call-by-Value Calculi of Control Operators II: Strong Termination

lmcs:3777 - Logical Methods in Computer Science, March 2, 2021, Volume 17, Issue 1
Complete Call-by-Value Calculi of Control Operators II: Strong Termination

Authors: Hasegawa, Ryu

We provide characterization of the strong termination property of the CCV (complete call-by-value) lambda-mu calculus introduced in the first part of this series of the paper. The calculus is complete with respect to the standard continuation-passing style (CPS) semantics. The union-intersection type systems for the calculus is developed in the previous paper. We characterize the strong normalizability of terms of the calculus in terms of the CPS semantics and typeability.


Volume: Volume 17, Issue 1
Published on: March 2, 2021
Submitted on: July 10, 2017
Keywords: Computer Science - Logic in Computer Science,Computer Science - Programming Languages


Share

Consultation statistics

This page has been seen 40 times.
This article's PDF has been downloaded 14 times.