Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference33 articles.
1. Boole, G.: An Investigation of the Laws of Thought. Walton & Maberly, London (1854)
2. Coquand, T., Huet, G.: The calculus of constructions. Inf. Comput. 76(2–3), 95–120 (1988)
3. Curien, P.-L., Garner, R., Hofmann, M.: Revisiting the categorical interpretation of dependent type theory. Theor. Comput. Sci. 546, 99–119 (2014)
4. Curry, H.B., Feys, R.: Combinatory Logic, Volume 1 of Combinatory Logic. North-Holland Publishing Company, Amsterdam (1958)
5. Došen, K.: Deductive completeness. Bull. Symbol. Logic 2(3), 243–283 (1996)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献