Art
J-GLOBAL ID：200902150962130490   Reference number：95A0510341

Parallel Reductions in λ-Calculus.

λ算法における並列縮約
Author (1)：
TAKAHASHI M

About TAKAHASHI M

(Tokyo Inst. Technol., Tokyo, JPN)

About Tokyo Inst. Technol., Tokyo, JPN


Material：
Information and Computation  (Inf Comput)

About Information and Computation


Volume： 118  Issue： 1  Page： 120-127  Publication year： Apr. 1995 
JST Material Number： D0449A  ISSN： 0890-5401  CODEN： INFCEC  Document type： Article
Article type： 原著論文  Country of issue： Netherlands (NLD)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
lamda calculation

About lamda calculation

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=95A0510341&from=J-GLOBAL&jstjournalNo=D0449A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
λ算法

About λ算法

, 
縮約

About 縮約


Return to Previous Page

TOP

BOTTOM