A general approach to define binders using matching logic

Xiaohong Chen, Grigore Rosu

    Research output: Contribution to journalArticlepeer-review

    11 Citations (SciVal)
    Original languageEnglish
    Article number88
    JournalProceedings of the ACM on Programming Languages
    Volume4
    Issue numberICFP
    DOIs
    Publication statusPublished (VoR) - 2 Aug 2020

    Keywords

    • binders
    • completeness
    • conservative extension
    • matching logic

    Fingerprint

    Dive into the research topics of 'A general approach to define binders using matching logic'. Together they form a unique fingerprint.

    Cite this