![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Amtoft T. Kfoury A.J. Pericas-Geertsen S.M.
Publisher: Elsevier
ISSN: 0096-0551
Source: Computer Languages, Vol.28, Iss.1, 2002-04, pp. : 29-60
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Theoretical Computer Science, Vol. 163, Iss. 1, 1996-08 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Polymorphic lambda calculus and subtyping
By Fiech
Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. :