church-encoding
-
如何在基于 lambda 演算的系统中将 beta 归约还原为命名函数？
-
从 Curry-0、1、2 到 ...n
-
了解教堂数字
-
定义一个函数来表示教堂数字中的整数 (DrRacket)
-
如何用 lambda 术语定义带有教会数字的函数？
-
如何return堂号
-
展开递归表达式
-
如何让一个函数调用自己n次
-
Return Scheme 中括号中的内容
-
教会数字中 m 的 0 次方
-
将此 FreeT（显式递归数据类型）函数转换为适用于 FT（教会编码）
-
从教会编码转换为数字
-
Agda 中的系统 F 教会数字
-
依赖对的 Church 编码
-
教会数字和宇宙不一致
-
Church 平等编码的递归
-
依赖类型的 Church 编码：从 Coq 到 Haskell
-
打印教堂布尔值
-
Coq 不承认依赖列表的相等性
-
如何使用 Church 对延迟类型进行编码？