Home of
Lambda Bound

Lambda, Logos, Lambda Calculus

Lambda Bound:

Lambda Bound, Logos, Lambda Calculus, Aristotle


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'.

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 .

TOP

© 1999-2009 Georg P. Loczewski. Impressum und Datenschutz