\(Y_C \Omega_{2n}\) are easy terms (Q5955931)
From MaRDI portal
scientific article; zbMATH DE number 1707049
Language | Label | Description | Also known as |
---|---|---|---|
English | \(Y_C \Omega_{2n}\) are easy terms |
scientific article; zbMATH DE number 1707049 |
Statements
\(Y_C \Omega_{2n}\) are easy terms (English)
0 references
18 February 2002
0 references
\(\lambda\beta\)-calculus
0 references
easy term
0 references
Jacopini's conjecture
0 references