closed term

(theory)   A term with no free variables.

Last updated: 1994-12-16


Loading