Showing cs.LOShow all
3 papers · 1 filter
cs.LO2019
A categorical reduction system for linear logic
Ryu Hasegawa
Diagram chasing is not an easy task. The coherence holds in a generalized sense if we have a mechanical method to judge whether given two morphisms are equal to each other. A simpl…
cs.LO2017
Complete Call-by-Value Calculi of Control Operators, I
Ryu Hasegawa
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…
cs.LO2017
Complete Call-by-Value Calculi of Control Operators II: Strong Termination
Ryu Hasegawa
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…