From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing.

Patrick Baillot

Published in: TLCA (2007)

Keyphrases

linear logic
special case
proof search
fixed point
proof theoretic
expert systems
logical framework
artificial intelligence
logic programming
natural deduction
intuitionistic logic