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

ラムダ計算

大学数学基礎解説

2021年12月14日

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

計算機科学,ラムダ計算

1

0

235

1

文献あり

大学数学基礎解説

2021年9月7日

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

計算機科学,ラムダ計算

5

0

162

1

読み込み中