Publisher
Proceedings of the National Academy of Sciences
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logical Algebras as Formal Systems: H.B. Curry’s Approach to Algebraic Logic;Universal Logic: An Anthology;2012
2. The search for a reduction in combinatory logic equivalent to λβ-reduction;Theoretical Computer Science;2011-08
3. The Logic of Church and Curry;Handbook of the History of Logic;2009
4. In Memoriam: Haskell Brooks Curry;Perspectives on the History of Mathematical Logic;2008
5. I;Encyclopaedia of Mathematics;1997