Encoding many-valued logic in $\lambda$-calculus (Q5009711)

From MaRDI portal
scientific article; zbMATH DE number 7379296
Language Label Description Also known as
English
Encoding many-valued logic in $\lambda$-calculus
scientific article; zbMATH DE number 7379296

    Statements

    Encoding many-valued logic in $\lambda$-calculus (English)
    0 references
    0 references
    5 August 2021
    0 references
    0 references
    lambda calculus
    0 references
    many-valued logic
    0 references
    meaningless term
    0 references
    generalised Böhm tree
    0 references
    Russell's paradox
    0 references
    0 references