Most functional programming languages are equivalent to lambda-calculus extended with constants and types.
関数プログラミング言語の大部分は, 定数と型を持つように拡張されたラムダ計算式と等価なものである. - コンピューター用語辞典
例文データの著作権について
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
