$\nu$-calculus and concurrent combinator

非同期名前通信計算ν-計算と並行接合子 (本田耕平・久保誠・吉田展子)

非同期メッセージ通信を基本的な構成子とした形式系に関する研究です。この 研究は、198年代からCCS、π-計算などの並行プロセス計算から発展し た研究です。この計算をベースに型システムや等価性に関するいくつかの基本 的結果が示されています。

さらに、並行接合子(コンビネータ)に関する研究が行われています。 この研究は、少数の接合子と相互作用のみですべての計算を表現できることや、 上記で述べたν-計算との関係に関する基本的な結果も得られています。 ν-計算は、関数型計算におけるλ-計算と似た立場にあります。