J4
• 计算机科学 • Previous Articles Next Articles
ZHANG Hong, LIU Lei
Received:
Revised:
Online:
Published:
Contact:
Abstract: πCalculus is used to encode the semantics for the SKIcalculus which is a representative of combinator calculi. SKI calculus is Turing complete, and this work shows the expressiveness of πcalculus. Furthermore, this work provides a precondition for uniting and comparing combinator calculi, lambdacalculus as well as higherorder functions with other concurrent models under the theory of πcalculus.
Key words: πcalculus, Combinator calculi, SKIcalculus, semantics
CLC Number:
ZHANG Hong, LIU Lei. πCalculus Semantics for Combinator Calculi[J].J4, 2006, 44(03): 391-396.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: http://xuebao.jlu.edu.cn/lxb/EN/
http://xuebao.jlu.edu.cn/lxb/EN/Y2006/V44/I03/391
Cited