Monotone recursive types and recursive data representations in Cedille (Q5076393)

From MaRDI portal
scientific article; zbMATH DE number 7527575
Language Label Description Also known as
English
Monotone recursive types and recursive data representations in Cedille
scientific article; zbMATH DE number 7527575

    Statements

    Monotone recursive types and recursive data representations in Cedille (English)
    0 references
    0 references
    0 references
    17 May 2022
    0 references
    recursive types
    0 references
    impredicative encodings
    0 references
    Scott encoding
    0 references
    recursion schemes
    0 references
    CDLE
    0 references
    0 references
    0 references
    0 references

    Identifiers