Morten Heine Sørensen and Pawel Urzyczyn 著
購入へ
解説
大学数学以上
by
quawai
at
2021年12月14日
簡約と型付けについて私が知っている二、三の事柄（試験投稿）
計算機科学，ラムダ計算
32
0
文献あり
解説
大学数学以上
by
quawai
at
2021年12月15日
単純型付ラムダ計算の弱正規化定理の証明
計算機科学，ラムダ計算
96
1
文献あり