Author： Alimohamed M.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.146, Iss.1, 1995-07, pp. : 5-23
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
Categorical Models for Local Names
By Stark I.
LISP and Symbolic Computation, Vol. 9, Iss. 1, 1996-02 ,pp. :
Access to resources
Recommend
Direct Models for the Computational Lambda-calculus
By Fuhrmann C.
Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. :
Order-incompleteness and finite lambda reduction models
By Selinger P.
Theoretical Computer Science, Vol. 309, Iss. 1, 2003-12 ,pp. :