ラムダ計算の2階型付け体系の完全性について | T2R2 東京工業大学リサーチリポジトリ

論文・著書情報

タイトル

和文:	ラムダ計算の2階型付け体系の完全性について
英文:

著者

和文:	外丸真一, 鹿島亮.
英文:	Shinichi Tomaru, Ryo Kashima.

言語

Japanese

掲載誌/書名

和文:	日本数学会 2021年度年会数学基礎論および歴史分科会講演アブストラクト
英文:

巻, 号, ページ

pp. 7-8

出版年月

2021年3月

出版者

和文:
英文:

会議名称

和文:	日本数学会 2021年度年会
英文:

開催地

和文:
英文:

©2007 Tokyo Institute of Technology All rights reserved.