Interaction nets for linear logic.

Published in: Theor. Comput. Sci. (2000)

Keyphrases

linear logic
logical framework
cut elimination
fixed point
desirable properties
proof search
logic programming
sequent calculus
intuitionistic logic
machine learning
artificial intelligence
proof theoretic
human computer interaction