Modern Perspectives in Type-Theoretical Semantics

書誌事項

タイトル
"Modern Perspectives in Type-Theoretical Semantics"
著者
Koji Mineshima, Daisuke Bekki
出版者
  • Springer
ページ数
30

この図書・雑誌をさがす

関連プロジェクト

もっと見る

詳細情報 詳細情報について

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