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
5 August 2021
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