church_numeralsの技術書 (1 冊)

プログラミング言語の基礎概念五十嵐淳