Encoding Datatypes
The basic lambda calculus may be used to model booleans, arithmetic, data structures and recursion, as illustrated in the following sub-sections.
Read more about this topic: Lambda Calculus
Main Site Subjects
Related Phrases
Related Words