From Multiple Sequent for Additive Linear Logic to Decision Procedures for Free Lattices

Jean-Yves Marion. From Multiple Sequent for Additive Linear Logic to Decision Procedures for Free Lattices. Theoretical Computer Science, 224(1-2):157-172, 1999. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.