論文

査読有り
2019年5月

Underspecification and interpretive parallelism in Dependent Type Semantics

Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures
  • Yusuke Kubota
  • ,
  • Koji Mineshima
  • ,
  • Robert Levine
  • ,
  • Daisuke Bekki

開始ページ
1
終了ページ
9
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)

エクスポート
BibTeX RIS