書誌情報 | ファイル |
表紙・目次 (1984-03) 数理解析研究所講究録, 515
| |
Evaluation of an Applicative Language on co-operating infinite number of Processors(Lambda Calculus and Computer Science Theory) Aiba, A.; Nakanishi, M. (1984-03) 数理解析研究所講究録, 515: 1-15
| |
A Mathematical Theory of Prolog(Lambda Calculus and Computer Science Theory) Oyagi, Shigeo (1984-03) 数理解析研究所講究録, 515: 16-61
| |
A PROGRAM TRANSFORMATION FROM EQUATIONAL PROGRAMS INTO LOGIC PROGRAMS(Lambda Calculus and Computer Science Theory) TOGASHI, Atsushi; NOGUCHI, Shoichi (1984-03) 数理解析研究所講究録, 515: 62-88
| |
Adjunction of Semifunctors : Categorical Structures in Non-extensional Lambda Calculus(Lambda Calculus and Computer Science Theory) Hayashi, Susumu (1984-03) 数理解析研究所講究録, 515: 89-98
| |
SOME PROPERTIES OF ONE-STEP RECURRENT TERMS IN LAMBDA CALCULUS(Lambda Calculus and Computer Science Theory) HIROKAWA, SACHIO (1984-03) 数理解析研究所講究録, 515: 99-109
| |
On the Church-Rosser Property for the direct sum of Term Rewriting Systems(Lambda Calculus and Computer Science Theory) TOYAMA, Yoshihito (1984-03) 数理解析研究所講究録, 515: 110-133
| |
GENERAL CONSTRUCTION OF LAMBDA CALCULUS MODELS(Lambda Calculus and Computer Science Theory) Yokouchi, Hirofumi (1984-03) 数理解析研究所講究録, 515: 134-176
| |
Powerposets(Lambda Calculus and Computer Science Theory) Adachi, Takanori (1984-03) 数理解析研究所講究録, 515: 177-196
| |