| 
|
Quote: a form has a value for every system of admissible values of its free variables
topics >
all references >
references c-d >
Group:
function
Topic:
lambda calculus
Topic:
data type as a set of values
Group:
naming
Quotation Skeleton
Names are to be meaningful expressions without free … forms … Each variable has a range, which is the … form has a value for every system of … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: a free variable in a form has a range that define its admissible values Quote: names are meaningful expressions without free variables Quote: a form is a meaningful expression with free variables
Group: function (12 topics, 232 quotes)
Topic: lambda calculus (14 items)
Topic: data type as a set of values (20 items)
Group: naming (32 topics, 784 quotes)