Untyping Typed Algebras and Colouring Cyclic Linear Logic

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

linear logic
fixed point
higher order
logic programming
desirable properties
logical framework
proof theoretic
sequent calculus
cut elimination
intuitionistic logic
machine learning
probability distribution
knowledge representation
logic programs