Type inference in intuitionistic linear logic.

Patrick Baillot Martin Hofmann

Published in: PPDP (2010)

Keyphrases

linear logic
fixed point
logic programming
sequent calculus
desirable properties
cut elimination
logical framework
proof theoretic
intuitionistic logic
bayesian networks
programming language
proof search