Def: Menge FV(t) mathend000# der freien Variablen von t∈Λ mathend000# FV(x) = {x} mathend000# FV(FA) = FV(F)∪FV(A) mathend000# FV(λx.B) = FV(B) {x} mathend000# Def: Menge BV(t) mathend000# der gebundenen Variablen von t∈Λ mathend000# BV(x) = ∅ mathend000# Johannes Waldmann 2014-03-31
Def: Menge BV(t) mathend000# der gebundenen Variablen von t∈Λ mathend000# BV(x) = ∅ mathend000# Johannes Waldmann 2014-03-31
{x}