【10/4更新】2022年4月1日からのCiNii ArticlesのCiNii Researchへの統合について

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Proceedings, Springer Lecture Notes in Computer Science

書誌事項

タイトル
"Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Proceedings, Springer Lecture Notes in Computer Science"
著者
Masahito Hasegawa (editor)
ページ数
249

この図書・雑誌をさがす

関連論文

もっと見る

関連研究データ

もっと見る

関連図書・雑誌

もっと見る

関連博士論文

もっと見る

関連プロジェクト

もっと見る

関連その他成果物

もっと見る

詳細情報

  • CRID
    1020000782154328192
  • タイトル言語コード
    ja
  • データソース種別
    • KAKEN
ページトップへ