Restricted Computations and Parameters in Type-Theory of Acyclic Recursion

+