書誌情報	ファイル
表紙・目次    (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