文件名称：Lambda-Calculus-Interpreter:Lambda演算解释器，CS 4110研究的应用
文件大小：7KB
文件格式：ZIP
更新时间：2024-03-30 08:40:08
Python
Lambda演算解释器 Lambda演算解释器，CS 4110研究的应用
【文件预览】：
Lambda-Calculus-Interpreter-main
----lambda.ml(259B)
----README.md(92B)
----pi_calculus.py(8KB)
----cbn_lambda_calculus.ml(1KB)
----.gitignore(293B)
----typed_pi_calculus.py(15KB)