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
-
- コンピュ-タソフトウェア
-
コンピュ-タソフトウェア 4 (4), 33-44, 1987
- Tweet
Details
-
- CRID
- 1572824502233318912
-
- NII Article ID
- 110003743465
-
- NII Book ID
- AN10075819
-
- ISSN
- 02896540
-
- Text Lang
- ja
-
- Data Source
-
- CiNii Articles