The Church-Rosser theorem and quantitative analysis of witnesses (Q1627965): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Created claim: Wikidata QID (P12): Q129289187, #quickstatements; #temporary_batch_1726327587925 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q129289187 / rank | |||
Normal rank |
Latest revision as of 17:29, 14 September 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Church-Rosser theorem and quantitative analysis of witnesses |
scientific article |
Statements
The Church-Rosser theorem and quantitative analysis of witnesses (English)
0 references
3 December 2018
0 references
lambda-calculus
0 references
Church-Rosser theorem
0 references
upper bounds on reduction length
0 references
parallel reduction
0 references
reduction strategies
0 references
Takahashi's translation
0 references
Gross-Knuth reduction strategy
0 references
Grzegorczyk hierarchy
0 references
0 references