A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL (Q3613430): Difference between revisions

From MaRDI portal
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: Nominal Isabelle / rank
 
Normal rank

Revision as of 09:03, 29 February 2024

scientific article
Language Label Description Also known as
English
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL
scientific article

    Statements

    A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL (English)
    0 references
    0 references
    0 references
    12 March 2009
    0 references
    lambda-calculus
    0 references
    proof assistants
    0 references
    nominal logic
    0 references
    primitive recursion
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers