Theoretical Pearls (Q4939701)

From MaRDI portal
scientific article; zbMATH DE number 1400719
Language Label Description Also known as
English
Theoretical Pearls
scientific article; zbMATH DE number 1400719

    Statements

    Theoretical Pearls (English)
    0 references
    0 references
    9 February 2000
    0 references
    untyped \(\lambda\)-calculus
    0 references
    unsolvable \(\lambda\)-terms
    0 references

    Identifiers