combinator calculus造句
例句與造句
- The Combinator calculus is such a model.
- It is a remarkable fact that s and k are sufficient to perform any calculation, as described in SKI combinator calculus.
- However, the elements of the Combinator calculus are functions from functions to functions; in order for the elements of a model of the lambda calculus to be of arbitrary domain and range, they could not be true functions, only partial functions.
- It's difficult to find combinator calculus in a sentence. 用combinator calculus造句挺難的