Mendeley出力
＜図書＞
Études et recherches en informatique
| データ種別 | 図書 |
|---|---|
| 出版情報 | Paris : Masson |
子書誌情報
| 1 | Lambda-calcul : types et modèles / Jean-Louis Krivine Paris : Masson , 1990 |
書誌詳細
| 書誌ID | 1000001611 |
|---|---|
| NCID | BA11153754 |
| 登録日 | 1991.12.05 |
| 更新日 | 1996.03.07 |