On Geometry of Interaction for Polarized Linear Logic.

Masahiro Hamano Philip J. Scott

Published in: CoRR (2015)

Keyphrases

linear logic
logic programming
logical framework
three dimensional
proof theoretic
fixed point
desirable properties
proof search
natural deduction
cut elimination
intuitionistic logic
dynamic programming
logic programs