No.515

1983/08/17〜1983/08/19

中島　玲二

NAKAJIMA,REIJI

目　次

1. Evaluation of an Applicative Language on co-operating infinite number of Processors(Lambda Calculus and Computer Science Theory)---1

　　　　Department of Mathematics, Faculty of Science and Technology, KEIO University / Department of Mathematics, Faculty of Science and Technology, KEIO University　　　Aiba, A. / Nakanishi, M.

　

2. A Mathematical Theory of Prolog(Lambda Calculus and Computer Science Theory)-----------------------------------------------------16

　　　　Electrotechnical Laboratory　　　Oyagi, Shigeo

　

3. A PROGRAM TRANSFORMATION FROM EQUATIONAL PROGRAMS INTO LOGIC PROGRAMS(Lambda Calculus and Computer Science Theory)---------------62

　　　　RESEARCH INSTITUTE OF ELECTRICAL COMMUNICATION, TOHOKU UNIVERSITY / RESEARCH INSTITUTE OF ELECTRICAL COMMUNICATION, TOHOKU UNIVERSITY　　　TOGASHI, Atsushi / NOGUCHI, Shoichi

　

4. Adjunction of Semifunctors : Categorical Structures in Non-extensional Lambda Calculus(Lambda Calculus and Computer Science Theory)---89

　　　　The Metropolitan College of Technology　　　Hayashi, Susumu

　

5. SOME PROPERTIES OF ONE-STEP RECURRENT TERMS IN LAMBDA CALCULUS(Lambda Calculus and Computer Science Theory)----------------------99

　　　　Department of Computer Science, Shizuoka University　　　HIROKAWA, SACHIO

　

6. On the Church-Rosser Property for the direct sum of Term Rewriting Systems(Lambda Calculus and Computer Science Theory)---------110

　　　　Musashino Electrical Communication Laboratory, N.T.T.　　　TOYAMA, Yoshihito

　

7. GENERAL CONSTRUCTION OF LAMBDA CALCULUS MODELS(Lambda Calculus and Computer Science Theory)-------------------------------------134

　　　　Department of Information Science, Tokyo Institute of Technology　　　Yokouchi, Hirofumi

　

8. Powerposets(Lambda Calculus and Computer Science Theory)------------------------------------------------------------------------177

　　　　Department of Information Science, Tokyo Institute of Technology　　　Adachi, Takanori