No label defined (Q4835611)
From MaRDI portal
scientific article; zbMATH DE number 761276
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 761276 |
Statements
3 July 1995
0 references
algebraization of untyped lambda calculus
0 references
lambda abstraction algebra
0 references
variety
0 references
cylindric algebras
0 references
representation
0 references
