ダウンロード数: 261

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0851-04.pdf1.38 MBAdobe PDF見る/開く
タイトル: A Typed Higher-Order Programming Language Based on the Pi-Calculus
著者: Pierce, Benjamin C.
Remy, Didier
Turner, David N.
発行日: Oct-1993
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 851
開始ページ: 46
終了ページ: 60
URI: http://hdl.handle.net/2433/83705
MR Number: 1304524
出現コレクション:0851 Type Theory とそのコンピュータシステムへの応用

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。