Author:
Kristiansen Lars,Voda Paul J.
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Avigad, J., Fererman, S.: Gödel’s functional interpretation. In: Buss (ed.) Handbook of Proof Theory, Elsevier, Amsterdam (1998)
2. Beckmann, A., Weiermann, A.: Characterizing the elementary recursive functions by a fragment of Gödel’s T. Arch. Math. Logic 39(7), 475–491 (2000)
3. Goerdt, A.: Characterizing complexity classes by higher type primitive recursive definitions. Theor. Comput. Sci. 100(1), 45–66 (1992)
4. Jones, N.D.: The expressive power of higher-order types or, life without CONS. J. Functional Programming 11, 55–94 (2001)
5. Kristiansen, L., Voda, P.J.: Complexity classes and fragments of C (submitted), Preprint available from
http://www.iu.hio.no/~larskri/
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献