论文信息 - Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015 - 字舞流文

Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015

[1] William E. Byrd,et al. The reasoned schemer , 2005 .

[2] Daniel P. Friedman,et al. The little LISPer , 1974 .

[3] Matthias Felleisen,et al. The Little Schemer , 1986 .

[4] Matthias Felleisen,et al. The little MLer , 1996 .