Avendia19
English
『Cohen トポスについて』 『Construction of canonical topologies』 『Kripke-Joyal 意味論』 (WIP) 『型付きラムダ計算の諸性質』 『Scott のモデル』 『ラムダ計算と述語論理』 『正規化定理』 『閉じたラムダ項に関する外延性の反例』 『代数学 III 授業ノート』 『Hesse 行列と Jacobi 行列』 『積分の雑多な話題』
『等差数列の小数部分の分布』