Collection home page

Lambda Calculus and Computer Science Theory   9
(http://hdl.handle.net/2433/98060)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 9 of 9
BibliographyContents
表紙・目次
   (1984-03)
  数理解析研究所講究録, 515
file type icon
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
file type icon
A Mathematical Theory of Prolog(Lambda Calculus and Computer Science Theory)
  Oyagi, Shigeo (1984-03)
  数理解析研究所講究録, 515: 16-61
file type icon
A PROGRAM TRANSFORMATION FROM EQUATIONAL PROGRAMS INTO LOGIC PROGRAMS(Lambda Calculus and Computer Science Theory)
  TOGASHI, Atsushi, NOGUCHI, Shoichi (1984-03)
  数理解析研究所講究録, 515: 62-88
file type icon
Adjunction of Semifunctors : Categorical Structures in Non-extensional Lambda Calculus(Lambda Calculus and Computer Science Theory)
  Hayashi, Susumu (1984-03)
  数理解析研究所講究録, 515: 89-98
file type icon
SOME PROPERTIES OF ONE-STEP RECURRENT TERMS IN LAMBDA CALCULUS(Lambda Calculus and Computer Science Theory)
  HIROKAWA, SACHIO (1984-03)
  数理解析研究所講究録, 515: 99-109
file type icon
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
file type icon
GENERAL CONSTRUCTION OF LAMBDA CALCULUS MODELS(Lambda Calculus and Computer Science Theory)
  Yokouchi, Hirofumi (1984-03)
  数理解析研究所講究録, 515: 134-176
file type icon
Powerposets(Lambda Calculus and Computer Science Theory)
  Adachi, Takanori (1984-03)
  数理解析研究所講究録, 515: 177-196
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 9 of 9