research
∙
05/02/2021
Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic
We verify a confluence result for the rewriting calculus of the linear c...
research
∙
12/02/2019
A categorical reduction system for linear logic
We build calculus on the categorical model of linear logic. It enables u...
research
∙
07/07/2017
Complete Call-by-Value Calculi of Control Operators, I
We give new call-by-value calculi of control operators that are complete...
research
∙
07/07/2017