Subject
General Computer Science,Theoretical Computer Science
Reference29 articles.
1. S.F. Allen, R.L. Constable, D.J. Howe, W.E. Aitken, The semantics of reflected proof, in: IEEE Symp. on Logic in Computer Science, 1990.
2. E. Barzilay, Quotation and reflection in NUPRL and Scheme, Tech. Report 2001–1832, Cornell University, Ithaca, New York, January 2001.
3. Proofs as programs;Bates;ACM Trans. Programming Languages Systems,1985
4. S.J. Bellantoni, K.-H. Niggl, H. Schwichtenberg, Higher type recursion, ramification and polynomial time, ANNALSPAL: Annals of Pure and Applied Logic, Vol. 104.
5. Computational complexity via programming languages;Ben-Amram;Acta Inform.,2000
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献