Church encoding
simple past tense and past participle of handbrake
(mathematics) A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
(dated) fluoroscopic
present participle of upfault
高度な関数型プログラマはしばしば、ラムダ計算におけるデータや演算子の表現法を基礎技術として教える。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★