Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-9 / 9.

前
1
次

検索結果:

書誌情報	ファイル
Adjunction of Semifunctors : Categorical Structures in Non-extensional Lambda Calculus(Lambda Calculus and Computer Science Theory) Hayashi, Susumu (1984-03) 数理解析研究所講究録, 515: 89-98
A PROGRAM TRANSFORMATION FROM EQUATIONAL PROGRAMS INTO LOGIC PROGRAMS(Lambda Calculus and Computer Science Theory) TOGASHI, Atsushi; NOGUCHI, Shoichi (1984-03) 数理解析研究所講究録, 515: 62-88
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
SOME PROPERTIES OF ONE-STEP RECURRENT TERMS IN LAMBDA CALCULUS(Lambda Calculus and Computer Science Theory) HIROKAWA, SACHIO (1984-03) 数理解析研究所講究録, 515: 99-109
GENERAL CONSTRUCTION OF LAMBDA CALCULUS MODELS(Lambda Calculus and Computer Science Theory) Yokouchi, Hirofumi (1984-03) 数理解析研究所講究録, 515: 134-176
A Mathematical Theory of Prolog(Lambda Calculus and Computer Science Theory) Oyagi, Shigeo (1984-03) 数理解析研究所講究録, 515: 16-61
Powerposets(Lambda Calculus and Computer Science Theory) Adachi, Takanori (1984-03) 数理解析研究所講究録, 515: 177-196
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
表紙・目次 (1984-03) 数理解析研究所講究録, 515