quawaiの記事一覧 | Mathlog

総高評価数

1

総閲覧数

244

解説...

2021年12月14日

単純型付ラムダ計算の弱正規化定理の証明

計算機科学,ラムダ計算

167

1

文献あり

解説...

2021年12月14日

簡約と型付けについて私が知っている二、三の事柄（試験投稿）

計算機科学,ラムダ計算

78

0

文献あり

読み込み中