Stephen A. Cook, Bruce M. Kapron. Characterizations of the Basic Feasible Functionals of Finite Type (Extended Abstract). In 30th Annual Symposium on Foundations of Computer Science, 30 October-1 November 1989, Research Triangle Park, North Carolina, USA. pages 154-159, IEEE, 1989.
Abstract is missing.