Author： Miculan M.
Publisher： Elsevier
ISSN： 1571-0661
Source： Electronic Notes in Theoretical Computer Science, Vol.58, Iss.1, 2004-01, pp. : 1-22
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Previous Menu Next
Abstract
Related content
Infinitary rewriting: meta-theory and convergence
By Kahrs Stefan
Acta Informatica, Vol. 44, Iss. 2, 2007-05 ,pp. :
Access to resources
Recommend
-calculus in (Co)inductive-type theory
By Honsell F. Miculan M. Scagnetto I.
Theoretical Computer Science, Vol. 253, Iss. 2, 2001-02 ,pp. :
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. :