Sara Negri Semantical Observations on the Embedding of Intuitionistic Logic into Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1995, v:5, n:1, pp:41-68 [Journal]

Michael Löwe, Uwe Wolter Parametric Algebraic Specifications with Gentzen Formulas - from Quasi-Freeness to Free Functor Semantics. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1995, v:5, n:1, pp:69-111 [Journal]