A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic.

Paolo Tranquilli

Browse the full CSL paper archive.