Higher-order substitutions (Q1854398)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Higher-order substitutions
scientific article

    Statements

    title
    Higher-order substitutions (English)
    0 references
    author
    Dominic Duggan
    0 references
    publication date
    14 January 2003
    0 references
    zbMATH DE Number
    1853145
    0 references
    describes a project that uses
    Automath
    0 references
    ALF
    0 references
    ALGOL 60
    0 references
    Nuprl
    0 references
    Haskell
    0 references
    OpenAlex ID
    W2086668518
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1854398&oldid=34330107"
    Powered by MediaWiki