Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Barendregt, H., Bunder, M.W., Dekkers, W.: Systems of illative combinatory logic complete for first-order propositional and predicate calculus. Journal of Symbolic Logic 58(3), 769–788 (1993)
2. Seldin, J.P.: The logic of Church and Curry. In: Gabbay, D.M., Woods, J. (eds.) Logic from Russell to Church. Handbook of the History of Logic, vol. 5, pp. 819–873. North-Holland (2009)
3. Czajka, Ł.: Higher-order illative combinatory logic. Journal of Symbolic Logic (2013),
http://arxiv.org/abs/1202.3672
(accepted)
4. Dekkers, W., Bunder, M.W., Barendregt, H.: Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Journal of Symbolic Logic 63(3), 869–890 (1998)
5. Czajka, Ł.: Partiality and recursion in higher-order logic. Technical report, University of Warsaw (2013),
http://arxiv.org/abs/1210.2039