Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. J. Avigad. Predicative functionals and an interpretation of
$$
\widehat{ID}_{ < \omega }
$$
. Ann. Pure Appl. Logic, 92(1):1–34, 1998.
2. J. Avigad and S. Feferman. Gödel’s functional (“Dialectica”) interpretation. In S. Buss, editor, Handbook of Proof Theory, pages 337–405. North-Holland, Amsterdam, 1998.
3. H. Barendregt. Lambda calculi with types. In S. Abramsky, D. M. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, Vol. 2, pages 117–309. Oxford University Press, Oxford, 1992.
4. S. Bellantoni. Predicative recursion and the polytime hierarchy. In Feasible Mathematics II (Ithaca, NY, 1992), pages 15–29. Birkhäuser Boston, Boston, MA, 1995.
5. S. Bellantoni and S. Cook. A new recursion-theoretic characterization of the polytime functions. Comput. Complexity, 2(2):97–110, 1992.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On tiered small jump operators;Logical Methods in Computer Science;2009-03-31