A MALL geometry of interaction based on indexed linear logic.

Masahiro Hamano

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

Keyphrases

linear logic
fixed point
cut elimination
desirable properties
sequent calculus
intuitionistic logic
three dimensional
artificial intelligence
proof theoretic
dynamic programming
state space