From Linear Logic to Cyclic Sharing.

Masahito Hasegawa

Published in: Linearity-TLLA@FLoC (2018)

Keyphrases

linear logic
fixed point
cut elimination
sequent calculus
information sharing
intuitionistic logic
logic programming
proof theoretic
logical framework
desirable properties
logic programs
multi view
natural deduction