CiNii Researchの本公開について

A simple lamda-term representing the predecessor function with respect to church numerials

収録刊行物

関連論文

もっと見る

関連研究データ

もっと見る

関連図書・雑誌

もっと見る

関連博士論文

もっと見る

関連プロジェクト

もっと見る

関連その他成果物

もっと見る

詳細情報

  • CRID
    1370849942877447043
  • データソース種別
    • Crossref
ページトップへ