Capturing strong reduction in director string calculus (Q1208420)
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: Capturing strong reduction in director string calculus |
scientific article; zbMATH DE number 166431
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Capturing strong reduction in director string calculus |
scientific article; zbMATH DE number 166431 |
Statements
Capturing strong reduction in director string calculus (English)
0 references
16 May 1993
0 references
A technique for implementing functional languages is based on the translation of terms from \(\lambda\)-calculus to combinatory logic. The authors present an extension of the work of \textit{R. Kennaway} and \textit{R. Sleep} [ACM Trans. Program. Lang. Syst. 10, No. 4, 602-626 (1988; Zbl 0669.68013)] to preserve strong reduction.
0 references
director string calculus
0 references
implementation
0 references
functional languages
0 references
\(\lambda\)-calculus
0 references
combinatory logic
0 references
strong reduction
0 references
