A context-based approach to proving termination of evaluation (Q2805157)
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 context-based approach to proving termination of evaluation |
scientific article; zbMATH DE number 6578701
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A context-based approach to proving termination of evaluation |
scientific article; zbMATH DE number 6578701 |
Statements
10 May 2016
0 references
reduction semantics
0 references
evaluation context
0 references
weak head normalization
0 references
control operators
0 references
normalization by evaluation
0 references
0.90612054
0 references
0.89277864
0 references
0 references
0.88428235
0 references
0.8792105
0 references
0.8766032
0 references
0.87479776
0 references
A context-based approach to proving termination of evaluation (English)
0 references
