Abstract: | In applicative theories the recursion theorem provides a term
which solves recursive equations. However, it is not provable that a solution obtained by
is minimal. In the present paper we introduce an applicative theory in which it is possible to define a least fixed point operator. Still, our theory has a standard recursion theoretic interpretation. |