1. PTT
  2. PLT

[问题] abstration in combinatory logic

楼主: etwas (i'm only dust)   2011-06-08 03:30:54
大家好,
小弟在看 Hindley & Seldin 的 Lambada-Calculus and Combinators
楼主: etwas (i'm only dust)   2011-06-08 03:36:00
(a)和(c) 的是 if x doesn't occur in FV(M) 和if x doesn't occur in FV(U)呃 doesn't belong to FV...
作者: SansWord (是妳)   2011-06-24 12:43:00
这是parse问题， [x].uxxv 实际ast是？
继续阅读
[问题] 函数与交换率drm343[学术问卷]关于程式语言社群~可抽大奖喔!恳请大家帮忙填写！rdw216Re: [比较] 我为何钟情于用 Scala 做为兵刃（三）drm343[问题] 请问有人懂Spin的语言吗?Ywayboy[问题] 作业研究的lingon196t[问题] 请问有R语言版吗？还有有个R的问题e29895037ricRe: [比较] 我为何钟情于用 Scala 做为兵刃（三）fcamelRe: [比较] 我为何钟情于用 Scala 做为兵刃（三）COLDTURNIPRe: [比较] 我为何钟情于用 Scala 做为兵刃（三）yauhhRe: [比较] 我为何钟情于用 Scala 做为兵刃（三）kaluvchris

Links booklink

Contact Us: admin [ a t ] ucptt.com