Home of ARS-Based Programming |
Home of Lambda Bound |
Lambda Calculus & A++ |
A++ | ARS | ARS++ | ARSAPI | Book on ARS | Book on A++ | Demo Programs | Download | Contact | Links |
Site Lambda
Bound has mainly to do with programming, with
programming as such with the principles programming.
In this regard the name Lambda Bound is primarily related
to the most important basic operation of the Lambda
Calculus, i.e. 'lambda abstraction'. Beyond this immediate association of this site's name to the Lambda Calculus, 'lambda bound' means more to the author of this document. For more details see page Lambda Bound . |