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
ページトップへ