The Weak Normalization of the Simply Typed se-calculus (Q5435199)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5225753
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The Weak Normalization of the Simply Typed se-calculus |
scientific article; zbMATH DE number 5225753 |
Statements
The Weak Normalization of the Simply Typed se-calculus (English)
0 references
14 January 2008
0 references
lambda calculus
0 references
explicit substitution
0 references
weak normalization
0 references
simple typing
0 references
0.8151081800460815
0 references
0.8049548268318176
0 references
0.7976977825164795
0 references
0.7735863327980042
0 references
