先月注文した以下の本を購入。 G. E. Revesz Lambda-calculus, Combinators and Functional Programming, Cambridge University Press, Cambridge Tracts in Theoretical Computer Science, no. 4, 2009 (Hardback Originally Published in 1988) Hans D. Sl…