Lambda‐Algebras and <i>C</i>‐Monoids (Q3760509)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lambda‐Algebras and <i>C</i>‐Monoids |
scientific article |
Statements
Lambda‐Algebras and <i>C</i>‐Monoids (English)
0 references
1986
0 references
C-monoid
0 references
cartesian closed category
0 references
lambda-eta-algebras
0 references
surjective pairing
0 references
