Introduction to linear logic and ludics, part II

Pierre-Louis Curien

Published in: CoRR (2005)

Keyphrases

linear logic
cut elimination
fixed point
logical framework
logic programming
intuitionistic logic
proof theoretic
desirable properties
sequent calculus
proof search
inference rules
database systems
multi agent