Free expression

Categories: Glossary

An expression in which every variable is a Free variable.

If a free expresion is as large as it can be, in the sense that it is not a proper subexpression of another free expression, it is called a Maximal free expression.

Recent content is available under a simple permissive license.