Differential Linear Logic and Processes.

Published in: IFIP TCS (2008)

Keyphrases

linear logic
sequent calculus
proof theoretic
intuitionistic logic
logic programming
proof search
database
logical framework
cut elimination
artificial intelligence
probability distribution