2001年1月
A generic type system for the Pi-calculus
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
- ,
- 開始ページ
- 128
- 終了ページ
- 141
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- リンク情報
-
- CiNii Articles
- http://ci.nii.ac.jp/naid/80012329955
- ID情報
-
- CiNii Articles ID : 80012329955