A categorical reduction system for linear logic

12/02/2019 ∙ by Ryu Hasegawa, et al. ∙ 0

We build calculus on the categorical model of linear logic. It enables us to perform diagram chasing as essentially one-way computations led by rewriting rules. We verify the termination property of the calculus.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.