Author： Pollack Robert
Publisher： Springer Publishing Company
ISSN： 0934-5043
Source： Formal Aspects of Computing, Vol.13, Iss.3-5, 2002-07, pp. : 386-402
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Towards a proof theory of rewriting: the simply typed 2 -calculus
By Hilken B.P.
Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. :
Access to resources
Recommend
By Turner
Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. :
Search algorithms in type theory
By Caldwell J.L. Gent I.P. Underwood J.
Theoretical Computer Science, Vol. 232, Iss. 1, 2000-02 ,pp. :
Electronic Notes in Theoretical Computer Science, Vol. 50, Iss. 2, 2004-01 ,pp. :
By Hashimoto
Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. :