On repetitive right application of B-terms
暂无分享,去创建一个
[1] Richard Statman,et al. The Word Problem for Smullyan's Lark Combinator is Decidable , 1989, J. Symb. Comput..
[2] Chris Okasaki. Flattening Combinators : Surviving Without , 2011 .
[3] Sachio Hirokawa. Principal Types of BCK-lambda-Terms , 1993, Theor. Comput. Sci..
[4] Parag A. Pathak,et al. Massachusetts Institute of Technology , 1964, Nature.
[5] Donald E. Knuth. The Art of Computer Programming 2 / Seminumerical Algorithms , 1971 .
[6] Donald Ervin Knuth,et al. The Art of Computer Programming, Volume II: Seminumerical Algorithms , 1970 .
[7] Richard P. Brent,et al. An improved Monte Carlo factorization algorithm , 1980 .