【重要】T2R2・STARSearchの停止と後継システムについて English

Home > ヘルプ 論文・著書情報 タイトル 和文:   英文: Term-Space Semantics of Typed Lambda Calculus  著者 和文: 鹿島亮, 松田直祐, 湯山孝雄.   英文: Ryo Kashima, Naosuke Matsuda, Takao Yuyama.   言語 English  掲載誌/書名 和文:   英文: Notre Dame Journal of Formal Logic Volume 61, Number 4, 2020  巻, 号, ページ Vol. 61    No. 4    pp. 591-600 出版年月 2020年11月  出版者 和文:   英文:   会議名称 和文:   英文:   開催地 和文:   英文:   DOI https://doi.org/10.1215/00294527-2020-0028

©2007 Institute of Science Tokyo All rights reserved.