Publisher
Springer Science and Business Media LLC
Reference17 articles.
1. Anderson, A. R., Belnap, N. D. and Dunn, J. M., 1992: Entailment. The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton, NJ.
2. Barbanera, F. and Berardi, S., 1996: A symmetric lambda calculus for classical program extraction, Inform. and Comput. 125, 103-117.
3. Bimbó, K., 2000: Investigations into combinatory systems with dual combinators, Studia Logica 66, 285-296.
4. Bimbó, K., 2003: The Church-Rosser property in dual combinatory logic, J. Symbolic Logic 68, 132-152.
5. Bloom, S. L., 1976: Varieties of ordered algebras, J. Comput. System Sci. 13, 200-212.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献