$\nu$-calculus and concurrent combinator
非同期名前通信計算ν-計算と並行接合子 (本田耕平・久保誠・吉田展子)
非同期メッセージ通信を基本的な構成子とした形式系に関する研究です。この
研究は、198年代からCCS、π-計算などの並行プロセス計算から発展し
た研究です。この計算をベースに型システムや等価性に関するいくつかの基本
的結果が示されています。
さらに、並行接合子(コンビネータ)に関する研究が行われています。
この研究は、少数の接合子と相互作用のみですべての計算を表現できることや、
上記で述べたν-計算との関係に関する基本的な結果も得られています。
ν-計算は、関数型計算におけるλ-計算と似た立場にあります。