VariousWords beta
Related Terms:
Noun
Definition: A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
VariousWords beta
Definition: A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.