Hybrid linear logic, revisited.

Kaustuv Chaudhuri Joëlle Despeyroux Carlos Olarte Elaine Pimentel

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

Keyphrases

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