Intensional aspects of function definitions

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.152, Iss.1, 1995-12, pp. : 1-66

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

Intensional theory of granular computing

By Novák V.

Soft Computing, Vol. 8, Iss. 4, 2004-02 ,pp. : 281-290

Springer Publishing Company

Access to resources Recommend Favorite

Designing and manufacturing consumer products for functionality: a literature review of current function definitions and design support tools

By Chiang Wen-Chuan Pennathur Arunkumar Mital Anil

Integrated Manufacturing Systems, Vol. 12, Iss. 6, 2001-09 ,pp. : 430-448

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Comparing models of the intensional typed -calculus

By Hoofman R.

Theoretical Computer Science, Vol. 166, Iss. 1, 1996-10 ,pp. : 83-99

Elsevier

Access to resources Recommend Favorite

Methodology and Definitions

SourceOECD Science & Information Technology, Vol. 2008, Iss. 16, 2009-01 ,pp. : 422-438

OECD Publishing

Access to resources Recommend Favorite

Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts

By Liang Chuck Nadathur Gopalan Qi Xiaochu

Journal of Automated Reasoning, Vol. 33, Iss. 2, 2004-09 ,pp. : 89-132

Springer Publishing Company

Access to resources Recommend Favorite