Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lecture Notes in Computer Science;F. Barbanera,1994
2. Constable, R., Murthy, C.: Finding computational content in classical proofs. In: Huet, G., Plotkin, G. (eds.) Logical Frameworks, pp. 341–362. Cambridge University Press, Cambridge (1991)
3. Curien, P.L., Herbelin, H.: The Duality of Computation. In: Proc. International Conference on Functional Programming, Montréal, September 2000. IEEE, Los Alamitos (2000)
4. Girard, J.-Y.: A new constructive logic: classical logic. MSCS 1, 255–296 (1991)
5. Lecture Notes in Computer Science;P. Groote de,1994
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献