Gal Badishi, Idit Keidar, et al.
IEEE TDSC
This paper develops the Church-Rosser theorem for the rewriting system CCLβ on type-free categorial combinators introduced by Curien. The system CCLβ is not confluent. However we show that there are various sets D of categorical combinator terms such that each D satisfies the following two conditions: (1) D is closed under reduction by CCLβ; (2) CCLβ is confluent on D. Moreover we examine the relation among these sets. © 1989.
Gal Badishi, Idit Keidar, et al.
IEEE TDSC
B.K. Boguraev, Mary S. Neff
HICSS 2000
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008
Israel Cidon, Leonidas Georgiadis, et al.
IEEE/ACM Transactions on Networking