Easy lambda-terms are not always simple

Author： Carraro Alberto   Salibra Antonino  

Publisher： Edp Sciences

E-ISSN： 1290-385x|46|2|291-314

ISSN： 0988-3754

Source： RAIRO - Theoretical Informatics and Applications, Vol.46, Iss.2, 2012-04, pp. : 291-314

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

The prescriptive method: an easy tool for simple design oflight gauge steel framed housing

By Etzenbach C.   Mees C.  

Revue de Métallurgie, Vol. 105, Iss. 3, 2008-04 ,pp. : 142-154

Edp Sciences

Access to resources Recommend Favorite

Base Cation Removal in Harvesting and Biological Limit Terms for Use in the Simple Mass Balance Equation to Calculate Critical Loads for Forest Soils

By Freer-Smith P.H.   Kennedy F.  

Water, Air, and Soil Pollution, Vol. 145, Iss. 1, 2003-05 ,pp. : 409-427

Springer Publishing Company

Access to resources Recommend Favorite

Lambda-Lambda Correlation in Relativistic Heavy Ion Collisions

By  

EPJ Web of Conference, Vol. 97, Iss. issue, 2015-06 ,pp. : 00020-00020

Edp Sciences

Access to resources Recommend Favorite

Concepts, not terms

By  

Frontiers in Ecology and the Environment, Vol. 6, Iss. 4, 2008-05 ,pp. : 178-179

John Wiley & Sons Inc

Access to resources Recommend Favorite

Extending the lambda-calculus with unbind and rebind

By Dezani-Ciancaglini Mariangiola   Giannini Paola   Zucca Elena  

RAIRO - Theoretical Informatics and Applications, Vol. 45, Iss. 1, 2011-03 ,pp. : 143-162

Edp Sciences

Access to resources Recommend Favorite