Robin Milner, "The Polyadic pi-Calculus: A Tutorial" を引き続き読む。 3.1 Some derived forms パイ計算で、ラムダ計算のカリー化のようなことをどうするか、という話。 これで便宜的に複数の引数をやりとりするチャンネルが導入される。 あと、パラメー…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。