Object Notations: Lambda Calculus and Combinators

This chapter presents formal object-based notations and provides details of a sustainable object-based framework. The global methodology is the IT Crisisology (ITC) frameworkIT Crisisology Framework introduced in our previous books by Springer. This chapter then gives a concise overview of function-related approaches. These include lambda calculus and combinatory logic. As such, the focus of the formal methods is crisis-resistant data representationRepresentation and management to ensure a sustainable object lifecycle. Finally, the principles and notations introduced are instantiated by a set of concise examples. The idea is to demonstrate that this formal approach is applicable to such a complex phenomenon as sustainability, within the ITC framework.