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