Non Ground Loop of Combinator $O$ (Proof theoretical study of the structure of logic and computation)

HANDLE Open Access
  • Iwami, Munehiro
    Interdisciplinary Faculty of Science and Engineering, Shimane University

Bibliographic Information

Other Title
  • 組合せ子$O$の非基礎ループ性 (証明論と論理・計算の構造)
  • クミアワセシ $O$ ノ ヒキソ ループセイ ショウメイロン ト ロンリ ケイサン ノ コウゾウ

Search this article

Journal

Details

  • CRID
    1050001335715175424
  • NII Book ID
    AN00061013
  • ISSN
    18802818
  • HANDLE
    2433/140466
  • Text Lang
    ja
  • Article Type
    departmental bulletin paper
  • Data Source
    • IRDB

Report a problem

Back to top