On general methods for proving reduction properties of typed lambda terms

• Kikuchi, Kentaro

  東北大学電気通信研究所

書誌事項

タイトル別名

• On General Methods for Proving Reduction Properties of Typed Lambda Terms (Proof theoretical study of the structure of logic and computation)

収録刊行物

• 数理解析研究所講究録

  数理解析研究所講究録 1635 33-50, 2009-04

  京都大学数理解析研究所

詳細情報

• CRID: 1050282677042599808
• NII論文ID: 110007050195
• NII書誌ID: AN00061013
• ISSN: 18802818
• HANDLE: 2433/140464
• NDL書誌ID: 10220344
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I10220344
• 本文言語コード: en
• 資料種別: departmental bulletin paper
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles