|
|
|||
|
||||
OverviewLambda 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. Full Product DetailsAuthor: Bhim P UpadhyayaPublisher: Independently Published Imprint: Independently Published Dimensions: Width: 21.60cm , Height: 0.20cm , Length: 27.90cm Weight: 0.136kg ISBN: 9781790315253ISBN 10: 1790315255 Pages: 34 Publication Date: 24 November 2018 Audience: General/trade , General Format: Paperback Publisher's Status: Active Availability: In stock We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |