Cofree coalgebras and differential linear logic.

James Clift Daniel Murfet

Published in: Math. Struct. Comput. Sci. (2020)

Keyphrases

linear logic
proof theoretic
fixed point
logic programming
desirable properties
logical framework
sequent calculus
cut elimination
proof search
intuitionistic logic
database
higher order
decision making
logic programs