2015-03-20から1日間の記事一覧
Call-By-Valueのlet束縛に関する公理、http://www.cs.bham.ac.uk/~pbl/papers/universalcbv.pdf より: (let val x = x in M) ≡ M (let val x = N in x) ≡ N (xはフレッシュ) (let val x = M in (let val y = N in L)) ≡ (let val y = (let val x = M in N)…
http://d.hatena.ne.jp/m-hiyama-memo/20150318/1426651739 Cオペレーターを入れたラムダ計算をλC と書くことがある。 λCはモッジ(Moggi)のcomputationalラムダ計算のことでもあるな。λμがパリゴ(Parigot)、λμνというのもある。セリンガーの論文に出てい…