Search results by "product an introduction to functional programming through lambda calculus dover books on mathematics" keywords