An Indexed System for Multiplicative Additive Polarized Linear Logic.

Masahiro Hamano, Ryo Takemura

Browse the full CSL paper archive.