Branching versus Linear Logics Yet Again

José Carmo, Amílcar Sernadas. Branching versus Linear Logics Yet Again. Formal Asp. Comput., 2(1):24-59, 1990.

Abstract

Abstract is missing.