To demonstrate the significance of the EP data model being both a data model and a language semantically equivalent to a class of total recursive functions
, the authors of the articles [27 and 23] suggested an objective view on easiness.
KEY WORDS: finitist functions, primitive recursive functions
, infinite totalities, finitist proof of the universal closure of an equation
We allow recursive function
definitions of the form
Furthermore, if we conceive of Church's Thesis as asserting that a function is 'intuitively' computable if and only if it is a partial recursive function
(and this is surely a common conception of Church's Thesis), then the presupposition in Young  amounts to no more than the application of the if direction of Church's Thesis to the resource bounded computations of complexity theory.
Kevin Xu, and his colleagues in the opening paper brief the conceptual differences between a "data model" and a "programming Language" and more specifically addressed the Enterprise-Participant model as a semantic equivalent to the class of total recursive functions
. The authors further described the platform for the programming language Froglingo where it incorporates the EP data model which is a monolith that consolidates the multiple software components of traditional software architecture.
Axioms for recursive functions
. unfold ([Mu]f [multiplied] [Lambda]x [multiplied] E) [equivalent] ([Lambda]x [multiplied by] E [f\[Mu]f [multiplied by] [Lambda]x [multiplied by] E]) prefix ([Lambda]x [multiplied by] E[f\F]) ??
A machine independent theory of the complexity of recursive functions
Type inference for the Typerec construct would require solving equations over expressions involving primitive recursive functions
, which appears difficult or impossible.
There are many general methods for transforming recursive functions
to equivalent iterative programs (one method is often illustrated on a recursive factorial function).
The source language is the explicitly typed call-by-value lambda calculus with ML style polymorphism and recursive functions
. The restriction to call-by-value is used in essential ways in the formulation of the region inference rules.
Then, incrementalizing the extended functions under a subtree replacement just composes a new attributed tree from the old, based on equalities between old attributes and new attributes, evaluating only attributes whose values are affected by the subtree replacement, yielding a set of incremental recursive functions
. Suppose a given batch program takes O(n) time to evaluate each attribute once.
Moreover there are some approaches where they apply DBB methods  instead of the recursive functions