Home >

news Help

Publication Information


Title
Japanese:ラムダ計算の2階型付け体系の完全性について 
English: 
Author
Japanese: 外丸真一, 鹿島亮.  
English: Shinichi Tomaru, Ryo Kashima.  
Language Japanese 
Journal/Book name
Japanese:日本数学会 2021年度年会 数学基礎論および歴史分科会 講演アブストラクト 
English: 
Volume, Number, Page         pp. 7-8
Published date Mar. 2021 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本数学会 2021年度年会 
English: 
Conference site
Japanese: 
English: 

©2007 Tokyo Institute of Technology All rights reserved.