Simulating Computations in Second Order Non-Commutative Linear Logic

Max I. Kanovich. Simulating Computations in Second Order Non-Commutative Linear Logic. Electronic Notes in Theoretical Computer Science, 3:106, 1996. [doi]

Abstract

Abstract is missing.