closed term

1 definition found

closed term - Free On-line Dictionary of Computing (26 May 2007) :

  closed term
  
     <theory> A term with no free variables.
  
     (1994-12-16)