Type Isomorphisms for Multiplicative-Additive Linear Logic.

Rémi Di Guardia Olivier Laurent

Published in: FSCD (2023)

Keyphrases

linear logic
logical framework
intuitionistic logic
fixed point
desirable properties
sequent calculus
proof search
cut elimination
proof theoretic
general purpose