Initial algebra semantics for lambda calculi (Q5887531)
From MaRDI portal
scientific article; zbMATH DE number 7673915
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Initial algebra semantics for lambda calculi |
scientific article; zbMATH DE number 7673915 |
Statements
Initial algebra semantics for lambda calculi (English)
0 references
12 April 2023
0 references
natural transformation
0 references
algebra homomorphism
0 references
smash product
0 references
lambda calculus
0 references
initial algebra
0 references
