Author： Kusakari Keiichirou
Publisher： Springer Publishing Company
ISSN： 0938-1279
Source： Applicable Algebra in Engineering, Communication and Computing, Vol.18, Iss.5, 2007-10, pp. : 407-431
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
The Simply Typed Theory of beta-conversion Has No Maximum Extension
Information and Computation, Vol. 139, Iss. 1, 1997-11 ,pp. :
Access to resources
Recommend
By Hu Wei-Hsin Liu Shu-Fen Liaw Song-Iuan
Cryoletters, Vol. 36, Iss. 4, 2015-07 ,pp. :
Strong Normalization from Weak Normalization in Typed lambda -Calculi
Information and Computation, Vol. 133, Iss. 1, 1997-02 ,pp. :
Formal Proofs About Rewriting Using ACL2
Annals of Mathematics and Artificial Intelligence, Vol. 36, Iss. 3, 2002-11 ,pp. :