Fast and loose reasoning is morally correct (Q5348924): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 19:57, 5 March 2024

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

    Fast and loose reasoning is morally correct (English)
    0 references
    21 August 2017
    0 references
    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