我知道 TeX 是图灵完备的。我只是好奇：是否可以嵌入lambda 演算在 TeX 中使用 TeX 宏来实现 beta 规约？
答案1
CTAN 上有一个 lambda.sty：http://www.ctan.org/tex-archive/macros/generic/lambda-lists#lambda.sty
是否有可能将 lambda 演算嵌入到 TeX 中？
我知道 TeX 是图灵完备的。我只是好奇：是否可以嵌入lambda 演算在 TeX 中使用 TeX 宏来实现 beta 规约？
CTAN 上有一个 lambda.sty：http://www.ctan.org/tex-archive/macros/generic/lambda-lists#lambda.sty