ではも使用証明助を証明する健全性の型工程の微分積分学?

Question

---という成果を発表できる余裕の読みているのか。

Answer 1

ああ、デビッドN.Turnerの論文でピクトプログラミング言語の基礎となるプロセス計算のための健全性の証明があります。

Answer 2

ある人がなされるようになっています。同じ論文ジョRushbieの PV サイトをもう一度ご覧ください コックの 論文にまとめた。

検索 Citeseer しょういくつかの良いもの—ウズベキスタンのほとんどの人が今では発行その学会年次大会予稿集めCiteseerので、少し見ますと同紙の違いによるものなのか、それともできるというこの論文では、高価なる。

Answer 3

の アーカイブの正式な証明 複数の作品をカテゴリ"プロセス両"に掲げ、その topics, など、CCSおよびPiの計算.