closed term

Technology Dictionary -> closed term

Search:

closed term



A term with no free variables.

(1994-12-16)