| 
|
Quote: a bound variable or parameter is symbol independent, while a free variable depends on context
topics >
all references >
references i-l >
Topic:
parameters as argument place holders
Topic:
lambda calculus
Topic:
names defined by context
Note
arg list is bound variable eg lambda x.x+1. ... bound variables are symbol independent while free variable depend on outside
Topic: parameters as argument place holders (15 items)
Topic: lambda calculus (14 items)
Topic: names defined by context (36 items)