A term with no free variables.
Last updated: 1994-12-16
closed-box testing ♦ closed set ♦ closed term ♦ close parenthesis ♦ Clos network
Try this search on
Updated: Tue, 16 Oct 2018 22:24:25 GMT
Imperial College Department of Computing
Copyright Denis Howe 1985