On constructor rewrite systems and the lambda calculus (Q2904629)
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: On constructor rewrite systems and the lambda calculus |
scientific article; zbMATH DE number 6066154
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On constructor rewrite systems and the lambda calculus |
scientific article; zbMATH DE number 6066154 |
Statements
15 August 2012
0 references
lambda calculus
0 references
term rewriting
0 references
implicit computational complexity
0 references
0.99905974
0 references
0.9209452
0 references
0 references
0.90643245
0 references
0.90502024
0 references
0.90355134
0 references
0.90346104
0 references
0.9024207
0 references
0.8921288
0 references
On constructor rewrite systems and the lambda calculus (English)
0 references
