We verify a confluence result for the rewriting calculus of the linear
c...
We build calculus on the categorical model of linear logic. It enables u...
We give new call-by-value calculi of control operators that are complete...
We provide characterization of the strong termination property of the CC...