Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity.

Pietro Di Gianantonio

Published in: CSL (2004)

Keyphrases

linear logic
intuitionistic logic
fixed point
cut elimination
logic programming
proof theoretic
logical framework
software engineering
higher order
desirable properties
sequent calculus
decision making
high level
programming language