Publisher
Springer International Publishing
Reference16 articles.
1. Barendregt, H.P.: The Lambda Calculus Its Syntax and Semantics, vol. 103, Revised edn. Elsevier, North Holland (1984)
2. Bruijn, N.G.D.: Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem. Indag. Mathematicae 34, 381–392 (1972)
3. McBride, C.: I am not a number, I am a classy hack (2010). Blog entry:
http://mazzo.li/epilogue/index.html
4. Stanley, R.P.: Enumerative Combinatorics. Wadsworth Publishing Co., Belmont (1986)
5. The CRC Press Series on Discrete Mathematics and its Applications;DL Kreher,1999
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献