論文

査読有り 国際誌
2020年11月1日

Term-Space Semantics of Typed Lambda Calculus

Notre Dame Journal of Formal Logic
  • Ryo Kashima
  • ,
  • Naosuke Matsuda
  • ,
  • Takao Yuyama

61
4
開始ページ
591
終了ページ
600
記述言語
英語
掲載種別
研究論文(学術雑誌)
DOI
10.1215/00294527-2020-0028
出版者・発行元
Duke University Press

リンク情報
DOI
https://doi.org/10.1215/00294527-2020-0028
ID情報
  • DOI : 10.1215/00294527-2020-0028
  • ISSN : 0029-4527

エクスポート
BibTeX RIS