Programming Language Theory Flashcard

What is a fresh variable (concerning a set of variables)?

Books

Concepts

Decklanguage theory

Question

What is a fresh variable (concerning a set of variables)?

Answer

A variable is fresh in a variable set $𝒳$ if it's not within $𝒳$ .