如何返回教堂号码
我想将十进制编码改为chruch编码吗？ <pre>&l...
如何证明教堂的编码，永远如此 F r-> r-> r，给出函子F的初始代数？
众所周知的自然数的Church编码可以推广为使用任意仿...
如何用 lambda 项中的 Church 数字定义函数？
如何用 lambda 项表达以下函数？ f(n) = T 如果 n !...
定义一个函数来表示教堂数字中的整数 (DrRacket)
我正在尝试定义一个过程，该过程采用整数并以教堂数...
如何迭代或重复无类型函数 n 次？
我正在使用 OCaml 编译器练习，我正在做一个小作业，...
了解教会数字
我正在研究 SICP，它为 <em>Church Numerals&...
从 Curry-0, 1, 2 到 ...n
继上一个我问到的关于编写咖喱函数的问题之后，<...
如何在基于 lambda 演算的系统中将 beta 归约还原为命名函数？
好吧，假设我在教堂编码中有一组函数定义（带有语法...