Hybrid linear logic, revisited

Kaustuv Chaudhuri, Joƫlle Despeyroux, Carlos Olarte, Elaine Pimentel. Hybrid linear logic, revisited. Mathematical Structures in Computer Science, 29(8):1151-1176, 2019. [doi]

Abstract

Abstract is missing.