No label defined (Q4944849)

From MaRDI portal
Revision as of 19:09, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 1420785
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1420785

    Statements

    author
    Pierre Leleu
    0 references
    Joëlle Despeyroux
    0 references
    publication date
    5 September 2000
    0 references
    zbMATH DE Number
    1420785
    0 references
    zbMATH Keywords
    simply-typed \(\lambda\)-calculus
    0 references
    modal \(\lambda\)-calculus
    0 references
    operators for iteration and case reasoning
    0 references
    inductive type
    0 references
    higher-order abstract syntax
    0 references
    conservative extension
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4944849&oldid=29063570"
    Powered by MediaWiki