Feb. 24th, 2015
pi-calculus
Feb. 24th, 2015 10:54 pmAnybody here knows it?
sassa_nf? I got a question regarding Odersky ziplock. Too much code, I think.
![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
x?(y,z).M → x?u.new(v).(u!v|v?y.new(w).(u!w|w?z.M)) x!(y,z) → new(u).(x!u|u?v.(v!y)|(u?w.w!z))).