November 2017
Intermediate to advanced
670 pages
17h 35m
English
Alonzo Church brought formal logic, called untyped Lambda calculus, to computer science that includes substitution, abstraction, and application. Let's remember these terms and use them when implementing a lambda expression in Go later in this chapter.