Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-9 of 9 (Search time: 0.007 seconds).
  • previous
  • 1
  • next
Item hits:
BibliographyContents
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 
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 
表紙・目次
   (1984-03)
  数理解析研究所講究録, 515
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 
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 
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 
GENERAL CONSTRUCTION OF LAMBDA CALCULUS MODELS(Lambda Calculus and Computer Science Theory)
  Yokouchi, Hirofumi (1984-03)
  数理解析研究所講究録, 515: 134-176
file type icon 
A Mathematical Theory of Prolog(Lambda Calculus and Computer Science Theory)
  Oyagi, Shigeo (1984-03)
  数理解析研究所講究録, 515: 16-61
file type icon 
Powerposets(Lambda Calculus and Computer Science Theory)
  Adachi, Takanori (1984-03)
  数理解析研究所講究録, 515: 177-196
file type icon