Home >

news ヘルプ

論文・著書情報


タイトル
和文: 
英文: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 Tokyo Institute of Technology All rights reserved.