Term-generic logic (Q2339466)

From MaRDI portal
Revision as of 21:57, 9 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Term-generic logic
scientific article

    Statements

    title
    Term-generic logic (English)
    0 references
    author
    Andrei Popescu
    0 references
    Grigore Roşu
    0 references
    publication date
    1 April 2015
    0 references
    zbMATH Keywords
    term-generic logic
    0 references
    substitution
    0 references
    \(\lambda\)-calculus
    0 references
    \(\pi\)-calculus
    0 references
    semantics
    0 references
    describes a project that uses
    HYBRID
    0 references
    Ott
    0 references
    Isabelle/HOL
    0 references
    PoplMark
    0 references
    Nominal Isabelle
    0 references
    cites work
    Q3912779
    0 references
    Q3342534
    0 references
    Q5667469
    0 references
    Q4428296
    0 references
    Q3743300
    0 references
    Q5625124
    0 references
    Linear logic
    0 references
    Q4274979
    0 references
    Q5714442
    0 references
    Term-Generic Logic
    0 references
    Q4068054
    0 references
    Substitution revisited
    0 references
    Q4716271
    0 references

    Identifiers

    zbMATH DE Number
    6422122
    0 references
    OpenAlex ID
    W2011407760
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2339466&oldid=35448382"
    Powered by MediaWiki