Mathlog
Mathlog
  • アカウント アカウント作成 ログイン
    その他 ヘルプ 利用規約 意見箱
ラムダ計算
Contributors 2
Tracers 1
トレースする
Contributors 2
Tracers 1

最近の人気記事

相互再帰の不動点コンビネータ
単純型付ラムダ計算の弱正規化定理の証明
簡約と型付けについて私が知っている二、三の事柄(試験投稿)

全 3 記事

解説
大学数学以上
by
minerva
at
2021年09月07日
相互再帰の不動点コンビネータ
計算機科学,ラムダ計算
49
3

解説
大学数学以上
by
quawai
at
2021年12月15日
単純型付ラムダ計算の弱正規化定理の証明
計算機科学,ラムダ計算
96
1
文献あり

解説
大学数学以上
by
quawai
at
2021年12月14日
簡約と型付けについて私が知っている二、三の事柄(試験投稿)
計算機科学,ラムダ計算
32
0
文献あり

ヨビノリ たくみ 氏 絶賛!
詳細へ 購入へ
Mathlog
数学特化の情報共有サービス
使い方
  • 利用規約
  • プライバシーポリシー
  • コミュニティガイドライン
  • ヘルプ
連絡先
  • 意見箱(Google Form)
  • mathlog.official@gmail.com
  • 公式ツイッター
※本アプリケーション内で表示されるコンテンツの一部は、アマゾンジャパン合同会社またはその関連会社により提供されたものです。これらのコンテンツは「現状有姿」で提供されており、随時変更または削除される場合があります。