next up previous contents index
Next: Literature Up: Introduction Previous: Origin   Contents   Start

Definition 


DEFINITION 1 (LAMBDA CALCULUS) 
The Lambda Calculus defines the laws for the formulation and conversion of 
lambda expressions.

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz