![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Hashimoto
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.266, Iss.1, 2001-09, pp. : 249-272
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Comparing models of the intensional typed -calculus
By Hoofman R.
Theoretical Computer Science, Vol. 166, Iss. 1, 1996-10 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
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. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A typed -calculus for proving-by-example and bottom-up generalization procedure
By Hagiya M.
Theoretical Computer Science, Vol. 137, Iss. 1, 1995-01 ,pp. :