Perpetual reductions in \(\lambda\)-calculus (Q1286373)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Perpetual reductions in \(\lambda\)-calculus |
scientific article; zbMATH DE number 1283689
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Perpetual reductions in \(\lambda\)-calculus |
scientific article; zbMATH DE number 1283689 |
Statements
Perpetual reductions in \(\lambda\)-calculus (English)
0 references
9 September 1999
0 references
\(\beta\)-reduction
0 references
\(\lambda\)-calculus
0 references
perpetual reductions
0 references
perpetual redexes
0 references
infinite reduction paths
0 references
survey
0 references
type theory
0 references
0 references
0 references
