Advanced Search
Alimujiang Yasen，Abudukelimu Abulizi，Shaerdaner Paerhati，Halidanmu Abudukelimu，Zhu Yixin. INTUITIVE MODELING OF POLYMORPHIC λ-CALCULUS[J]. Computer Applications and Software, 2024, 41(12): 1-8. DOI: 10.3969/j.issn.1000-386x.2024.12.001
Citation: Alimujiang Yasen，Abudukelimu Abulizi，Shaerdaner Paerhati，Halidanmu Abudukelimu，Zhu Yixin. INTUITIVE MODELING OF POLYMORPHIC λ-CALCULUS[J]. Computer Applications and Software, 2024, 41(12): 1-8. DOI: 10.3969/j.issn.1000-386x.2024.12.001
shu
    Graphical Abstract
    • Abstract
  • Name binding is one of the core concepts in formal systems. As for simplicity and intuitiveness, existing name binding techniques have their advantages and disadvantages. In this paper, a name binding technique based on hypergraph rewriting is applied to the modeling of the type checking and callbyvalue reduction of polymorphic λcalculus with subtypes and records (or System FKG-*4
    • FullText(HTML)
  • loading
    • References (0)
    • Related Articles

Catalog

    Turn off MathJax
    Article Contents

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return