On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions

Robert de Simone. On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions. Theoretical Computer Science, 30:133-138, 1984.

Abstract

Abstract is missing.