「#ラムダ計算」の記事一覧 | Mathlog

ラムダ計算

使用者数

2

フォロワー数

1

解説...

2021年12月14日

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

計算機科学,ラムダ計算

167

1

文献あり

解説...

2021年12月14日

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

計算機科学,ラムダ計算

78

0

文献あり

解説...

2021年9月7日

相互再帰の不動点コンビネータ

計算機科学,ラムダ計算

124

4

読み込み中