Fast and loose reasoning is morally correct (Q5348924)

From MaRDI portal
Revision as of 21:18, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6763185
Language Label Description Also known as
English
Fast and loose reasoning is morally correct
scientific article; zbMATH DE number 6763185

    Statements

    title
    Fast and loose reasoning is morally correct (English)
    0 references
    publication date
    21 August 2017
    0 references
    zbMATH Keywords
    equational reasoning
    0 references
    inductive types
    0 references
    coinductive types
    0 references
    lifted types
    0 references
    non-strict languages
    0 references
    strict languages
    0 references
    partial values
    0 references
    infinite values
    0 references
    partial languages
    0 references
    total languages
    0 references

    Identifiers

    zbMATH DE Number
    6763185
    0 references
    OpenAlex ID
    W2021982406
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5348924&oldid=31941035"
    Powered by MediaWiki