A Concise Note on Lambda Calculus

By Bhim Upadhyaya

Lambda calculus is, directly or indirectly, the formal foundation of majority of functional programming languages, including LISP, SML, Haskell, and Scala. Being formal, it enables programs reasoning from mathematical point of view, which results sound software engineering applications. In this context, it is certainly helpful to have some knowledge of Lambda calculus so that we can naturally think programs and software applications as mathematical constructs based products, which aligns with other engineering disciplines such as Electrical Engineering, Electronics Engineering, Computer Engineering, Aeronautical and Astronautical Engineering, Mechanical Engineering, Civil Engineering, Chemical Engineering, etc. We know that time is a constraint for almost everybody and it is certainly a big constraint for professional software engineers. This concise note helps professional software engineers as well as engineering students, among others, to swiftly get started with Lambda calculus.

• Format: Paperback
• Language: English
• ISBN: 1790315255
• ISBN13: 9781790315253
• Release Date: November 2018
• Publisher: Independently Published
• Length: 34 Pages
• Weight: 0.30 lbs.
• Dimensions: 0.1" x 8.5" x 11.0"