An Interpretation of LISP by the Lambda Calculus and Cartesian Closed Categories with Implementation Consideration

Bibliographic Information

Other Title
  • ラムダ計算とそのモデル「カルテシアン閉カテゴリ」によるCOMMON LISPの解釈と新しい処理系

Search this article

Journal

Citations (1)*help

See more

Details

  • CRID
    1572824502233318912
  • NII Article ID
    110003743465
  • NII Book ID
    AN10075819
  • ISSN
    02896540
  • Text Lang
    ja
  • Data Source
    • CiNii Articles

Report a problem

Back to top