Intuitionistic fragment of the λμ-calculus

Details 詳細情報について

• CRID

  1523669555950867584

• NII Article ID

  40021341280

• ISSN

  13422812

• NDL BIB ID

  028570339

• Web Site

  http://id.ndl.go.jp/bib/028570339

  https://ndlsearch.ndl.go.jp/books/R000000004-I028570339

• Text Lang

  en

• NDL Source Classification

  • ZM13(科学技術--科学技術一般--データ処理・計算機)

• Data Source

  • NDL Search
  • CiNii Articles