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