Lambda-calculus, combinators, and functional programming by Révész, György E. fromCambridge tracts in theoretical computer science 0 Type: Book
Oracle Certified Professional Java SE 8 Programmer exam 1Z0-809: a comprehensive OCPJP 8 certification guide by Sharma, Tushar, Ganesh, S G., Kiran, Hari fromBooks for professionals by professionals 0 Type: Book
Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809: Comprehensive OCPJP 8 Certification Guide 0 Type: Book
An introduction to functional programming through Lambda calculus by Michaelson, Greg fromInternational computer science series 0 Type: Book
Meaning and grammar: an introduction to semantics by McConnell-Ginet, Sally, Chierchia, Gennaro 0 Type: Book