Mechanizing logical relations (Q5890057)

From MaRDI portal
Revision as of 00:00, 6 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article; zbMATH DE number 7680649
Language Label Description Also known as
English
Mechanizing logical relations
scientific article; zbMATH DE number 7680649

    Statements

    Mechanizing logical relations (English)
    0 references
    0 references
    28 April 2023
    0 references
    logical relation
    0 references
    algorithm schema
    0 references
    type frame
    0 references
    lambda calculus
    0 references
    closure process
    0 references

    Identifiers