Normalisation for higher-order calculi with explicit substitutions (Q1770414)
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 2153207
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Normalisation for higher-order calculi with explicit substitutions |
scientific article; zbMATH DE number 2153207 |
Statements
Normalisation for higher-order calculi with explicit substitutions (English)
0 references
6 April 2005
0 references
Higher-order rewriting
0 references
Lambda calculus
0 references
Explicit substitutions
0 references
Normalisation
0 references
Needed-strategies
0 references
0 references
0.8244554400444031
0 references
0.8235329389572144
0 references
0.8042043447494507
0 references
