General Bindings and Alpha-Equivalence in Nominal Isabelle (Q5891628)

From MaRDI portal
scientific article; zbMATH DE number 6052251
Language Label Description Also known as
English
General Bindings and Alpha-Equivalence in Nominal Isabelle
scientific article; zbMATH DE number 6052251

    Statements

    General Bindings and Alpha-Equivalence in Nominal Isabelle (English)
    0 references
    0 references
    0 references
    3 July 2012
    0 references
    nominal Isabelle
    0 references
    variable convention
    0 references
    alpha-equivalence
    0 references
    theorem provers
    0 references
    formal reasoning
    0 references
    lambda-calculus
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers