closed term

<theory> A term with no free variables.


Temas relacionados: CLOS « closed-box testing « closed set « closed term » Clos network » closure » closure conversion