A schematic proof of strong normalization for the system of the \(\lambda\)-cube (Q3365535)
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: A schematic proof of strong normalization for the system of the -cube |
scientific article; zbMATH DE number 5000312
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A schematic proof of strong normalization for the system of the \(\lambda\)-cube |
scientific article; zbMATH DE number 5000312 |
Statements
23 January 2006
0 references
typed lambda calculus
0 references
normalization
0 references
inductive types
0 references
0.8250707983970642
0 references
0.8218324184417725
0 references
0.8138487935066223
0 references
