λ演算解释器

【文件属性】：
文件名称：λ演算解释器
文件大小：4KB
文件格式：ZIP
更新时间：2021-02-18 14:37:40
Python λ演算解释器 如所述的lambda演算的解释器 语法 ： <λexp>::= |(λ <λexp>) |(<λexp> <λexp>) 例子： >> (lambda x x) λx. x >> (lambda x y) λx. y >> x x >> 5 5 >> ((lambda x 5) 3) 5 >> (((lambda x (lambda y x)) 3) 5) 3

【文件预览】：
lambda-calculus-Interpreter-master
----.gitignore(2KB)
----README.md(421B)
----LICENSE(1KB)
----Lambda_parser()
--------Interpreter.py(4KB)
--------repl.py(257B)