Modeling linear logic with implicit functions.

Published in: Ann. Pure Appl. Log. (2014)

Keyphrases

linear logic
proof theoretic
sequent calculus
fixed point
cut elimination
artificial intelligence
query language
general purpose
logic programs