Relationship between λ-Calculus and Rewriting Systems for Categorical Combinators
この論文をさがす
収録刊行物
-
- Theor. Comput. Sci.
-
Theor. Comput. Sci. 65 271-290, 1989
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1570291226719467904
-
- NII論文ID
- 80004583988
-
- NII書誌ID
- AA00862688
-
- データソース種別
-
- CiNii Articles