Matching logic explained

Xiaohong Chen*, Dorel Lucanu, Grigore Roşu

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review

    13 Citations (SciVal)
    Original languageEnglish
    Article number100638
    JournalJournal of Logical and Algebraic Methods in Programming
    Volume120
    DOIs
    Publication statusPublished (VoR) - Apr 2021

    Keywords

    • (co)inductive data types
    • (co)monad specification
    • Dependent types
    • Matching logic
    • Program logics
    • Specification of transition systems

    Fingerprint

    Dive into the research topics of 'Matching logic explained'. Together they form a unique fingerprint.

    Cite this