ions in the -calculus introduce a notion of scope, like quanti ers in the predicate calculus. A variable x occurs free in a term of if x does not appear in the scope of a x. Otherwise, x occurs bound . The set of free variables of an expression M , written FV (M), is de ned inductively as follows. De nition .3 (Free variables) FV (c) = fg FV (x) = fxg FV… (More)
Figures and Tables
Sorry, we couldn't extract any figures or tables for this paper.