广义元合成法则

本文讨论广义递归构系的广义元合成法则所赖以形成的γω演算基础。广义递归构系是递归构系“从用于定义一组函数到用于定义一组泛函”的推广,是函数/逻辑编程语言FAIR-LILY(一种带变量的FFP语言)的核心。为了要支持广义递归构系的γω演算语义学,广义递归构系中主泛函的使用必需服从一种“广义元合成法则”,后者是FFP语言