Almost every simply typed \(\lambda\)-term has a long \(\beta\)-reduction sequence (Q2988360)
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 6720983
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Almost every simply typed \(\lambda\)-term has a long \(\beta\)-reduction sequence |
scientific article; zbMATH DE number 6720983 |
Statements
Almost Every Simply Typed $$\lambda $$-Term Has a Long $$\beta $$-Reduction Sequence (English)
0 references
19 May 2017
0 references
0.7962610125541687
0 references
0.7931360602378845
0 references
0.735612154006958
0 references
