摘要
Ⅰ. INTRODUCTION The γω-calculus foundation, on which the generalized metacomposition rule of generalized recursive schemas is based, is discussed in this report. Generalized recursive schema is the generalization of recursive schema from defining a set
