A consistent extension of the lambda-calculus as a base for functional programming languages (Q3216136)
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: A consistent extension of the lambda-calculus as a base for functional programming languages |
scientific article; zbMATH DE number 3881874
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A consistent extension of the lambda-calculus as a base for functional programming languages |
scientific article; zbMATH DE number 3881874 |
Statements
A consistent extension of the lambda-calculus as a base for functional programming languages (English)
0 references
1982
0 references
functional programming language
0 references
efficient mechanical implementation of lambda calculus
0 references
variable binding mechanisms
0 references
Berkling Reduction Language
0 references
lambda-bar
0 references
denotational semantics
0 references
0.800190806388855
0 references
0.7560513615608215
0 references
