Home of
Lambda Bound

Lambda, Logos, Lambda Calculus
Book on A++            
access counter
            Available in English!!
Lambda Bound | Lambda Calculus & A++ | ARS | A++ | ARS++ | ARSAPI | Book on ARS | Book on A++ |
Demo Programs | Download | Contact | ARS Related Resources | Links
© 1999-2009 Georg P. Loczewski. All Rights Reserved.

Lambda Bound:

Lambda Bound, Logos, Lambda Calculus, Aristotle

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'.
In a more specific way the name Lambda Bound has been borrowed from the Lambda Calculus as well, in which variables may be either 'lambda-bound' or free.

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 .