Calculus of task-constructive objects and their interpretations: II

摘要

A formal approach to the theory of generating task-constructive objects is designed. Notions of a calculus of task-constructive objects, inference in a calculus, and an abstract calculus model are proposed. Spaces of local objects are used as interpreting models of these calculuses.