closure 1. In a reduction system, a closure is a data structure that holds an expression and an environment of variable bindings in which that expression is ...
確定! 回上一頁