ラムダ計算と組み合わせ論理の体系CλIλ

• 山川 郁加

• 古森 雄一

書誌事項

タイトル別名

• ラムダ ケイサン ト クミアワセ ロンリ ノ タイケイ ClIl
• 証明論と複雑性 : RIMS共同研究報告集
• ショウメイロン ト フクザツセイ : RIMS キョウドウ ケンキュウ ホウコクシュウ

収録刊行物

• 数理解析研究所講究録

  数理解析研究所講究録 (1832), 135-138, 2013-04

  [京都] : 京都大学数理解析研究所

詳細情報

• CRID: 1520572359989223040
• NII論文ID: 110009576320
• NII書誌ID: AN00061013
• ISSN: 18802818
• NDL書誌ID: 024692325
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I024692325
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZM31(科学技術--数学)
• データソース種別:
  • NDL
  • CiNii Articles