The Functional Dimension of Inductive Definitions

Michel de Rougemont. The Functional Dimension of Inductive Definitions. Theoretical Computer Science, 101(1):143-158, 1992.

Abstract

Abstract is missing.