【文件属性】:
文件名称:Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell:在Haskell中嵌入全线性Lambda演算
文件大小:213KB
文件格式:ZIP
更新时间:2021-05-20 13:32:52
在Haskell中嵌入全线性Lambda演算
杰夫·波拉科(Jeff Polakow)
【文件预览】:
Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell-gh-pages
----linearlam.pdf(214KB)
----README.md(71B)