Delzanno, Giorgio Programming Logics, MPI for Informatics, Max Planck Society;
Delzanno, G. (1998). Specification of Term Rewriting in Linear Logic. In D. Galmiche (Ed.), Proceedings of Workshop on Proof-Search in Type-Theoretic Languages. Amsterdam, the Netherlands: Elsevier.