Strong normalisation for the linear term calculus (Q4836022)
From MaRDI portal
!
WARNING
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 762285
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Strong normalisation for the linear term calculus |
scientific article; zbMATH DE number 762285 |
Statements
Strong normalisation for the linear term calculus (English)
0 references
3 July 1995
0 references
linear term calculus
0 references
lambda calculus
0 references
0.8009601831436157
0 references
0.797253429889679
0 references
0.7777360677719116
0 references
0.7772154211997986
0 references
