We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 6 Issue 1
January  1991
Turn off MathJax
Article Contents
Abstract
References
Related Articles
Lu Ruzhan, Zhang Zheng, Sun Yongqiang. Construction of the Model of the Lambda Calculus System with Algebraic Operators[J]. Journal of Computer Science and Technology, 1991, 6(1): 108-112.
Citation: Lu Ruzhan, Zhang Zheng, Sun Yongqiang. Construction of the Model of the Lambda Calculus System with Algebraic Operators[J]. Journal of Computer Science and Technology, 1991, 6(1): 108-112.
shu

Construction of the Model of the Lambda Calculus System with Algebraic Operators

  • Department of Computer Science Shanghai Jiao Tong University; Shanghai; Department of Computer Science; Shanghai Jiao Tong University;

More Information
  • Published Date: January 09, 1991
    Abstract
  • A lambda system with algebraic operators,lambda-plus system,is introduced.After giving the definitions of the system,we present a sufficient condition for formulating a model of the system. Finally,a model of such system is constructed.
    • FullText(HTML)
    • References (3)
  • [1]
    Sun Yongqiang and Lin Kai. The lambda calculus with algebraic operators and its combinatory logic.Conference on Intelligent Computer System, Jan., 1989.
    [2]
    J.Goguen, J.Thatcher and E.Wagner, An initial algebra approach to the specification, correctness and implementation of abstract data type. Current Trends in Programming Methodology, IV, Data Structuring (R.T.Yeh. Ed)Prentice Hall, New Jersey. 1978.
    [3]
    R.Hindley and J.Seldin, Introduction to Combinators and λ-calculus. Cambridge University Press. 1986.
    • Relative Articles

  • Related Articles

    [1]Qin Zhang. Dynamic Uncertain Causality Graph for Knowledge Representation and Reasoning: Discrete DAG Cases[J]. Journal of Computer Science and Technology, 2012, 27(1): 1-23. DOI: 10.1007/s11390-012-1202-7
    [2]Chaveevan Pechsiri, Rapepun Piriyakul. Explanation Knowledge Graph Construction Through Causality Extraction from Texts[J]. Journal of Computer Science and Technology, 2010, 25(5): 1055-1070. DOI: 10.1007/s11390-010-1083-6
    [3]Chaveevan Pechsiri, Asanee Kawtrakul. Mining Causality for Explanation Knowledge from Text[J]. Journal of Computer Science and Technology, 2007, 22(6): 877-889.
    [4]Lao Zhiqiang, Pan Yunhe. A Knowledge Representation Model for Video-Based Animation[J]. Journal of Computer Science and Technology, 1998, 13(3): 228-237.
    [5]Shen Ningchuan, Li Wei. R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance[J]. Journal of Computer Science and Technology, 1997, 12(1): 17-28.
    [6]Xu Dianxiang, Zheng Guoliang. Logical Object as a Basis of Knowledge Based Systems[J]. Journal of Computer Science and Technology, 1995, 10(5): 425-438.
    [7]Fan Zhongchun, Xing Hancheng. DKLFRS:A Default Knowledge Logical Framework Representation System[J]. Journal of Computer Science and Technology, 1992, 7(2): 136-142.
    [8]Lin Shan. Using a Student Model to Improve Explanation in an ITS[J]. Journal of Computer Science and Technology, 1992, 7(1): 92-96.
    [9]Zheng Fangqing. A Common Reasoning Model and Its Application in Knowledge-Based System[J]. Journal of Computer Science and Technology, 1991, 6(1): 59-65.
    [10]Shi Zhongzhi. Knowledge-Based Decision Support System[J]. Journal of Computer Science and Technology, 1987, 2(1): 22-29.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (19) PDF downloads (1200) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return