combinator

名词 n.
中文释义
英 /ˈkɒm.bɪˌneɪ.tə(ɹ)/    美 /ˈkɑm.bɪˌneɪ.tɚ/|[ˈkɑm.bɪˌneɪ.ɾɚ]

英文释义

名词 n.
  1. A lambda expression which has no free variables in it.
    — M is a closed λ-term (or combinator) if FV(M) = ∅. The set of closed λ-terms is denoted by Λ⁰.

词形变化

combinators plural
0 次浏览 数据来源: Wiktionary