lambda演算

【文件属性】：
文件名称：lambda演算
文件大小：7.91MB
文件格式：RAR
更新时间：2015-05-18 14:44:18
lambada、编译原理、程序设计理论 有关于lambada演算，程序设计原理、语义语法的文献

【文件预览】：
temp
----具有代数算子的λ演算系统的模型构造.pdf(323KB)
----句子的焦点结构及其对语义解释的影响.pdf(591KB)
----函数式语言FP中并行的开发和控制.pdf(261KB)
----程序设计语言的类型结构剖析.pdf(169KB)
----并行程序语言编译器的自动生成：并行Lambda语言的部分计值（Ⅰ）.pdf(166KB)
----构造类型论与计算机程序设计.pdf(335KB)
----对象式Lambda演算的自作用部分计值 (1).pdf(182KB)
----谈形式语义学.pdf(115KB)
----程序设计语言及相关领域的研究方向.pdf(126KB)
----类型系统的构造、实现及其在程序设计语言中的应用.pdf(266KB)
----d-__jos__all_file__publish_article__1996_zk_1996s134.pdf(541KB)
----类型系统的_等式理论及其语义的合理性.pdf(262KB)
----类型系统的研究与进展.pdf(709KB)
----A2036053.pdf(1.92MB)
----利用CopedSew重构lambda演算.pdf(145KB)
----类型系统与程序正确性问题.pdf(364KB)
----对象并发演算模型及对象语言语义研究.nh(1.82MB)
----类型系统的构造_实现及其在程序设计语言中的应用.pdf(265KB)
----函数式语言编译实现技术的研究-sup--_sup-.pdf(488KB)