Mechanizing type environments in weak HOAS (Q897934)

From MaRDI portal
Revision as of 17:18, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Mechanizing type environments in weak HOAS
scientific article

    Statements

    title
    Mechanizing type environments in weak HOAS (English)
    0 references
    author
    Alberto Ciaffaglione
    0 references
    Ivan Scagnetto
    0 references
    publication date
    8 December 2015
    0 references
    zbMATH DE Number
    6517469
    0 references
    zbMATH Keywords
    type theory
    0 references
    logical frameworks
    0 references
    HOAS
    0 references
    POPLmark challenge
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q897934&oldid=12853377"
    Powered by MediaWiki