Expressive power of typed and type-free programming languages (Q761790): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0304-3975(84)90088-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2081900912 / rank | |||
Normal rank |
Revision as of 19:08, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Expressive power of typed and type-free programming languages |
scientific article |
Statements
Expressive power of typed and type-free programming languages (English)
0 references
1984
0 references
The paper investigates the influence of type-free programming concepts on the definability of functions and objects in comparison with the exclusive use of typed concepts plus fixed-point operators. The underlying schemes are the classes of type-free and typed lambda-schemes respectively. The formal semantics of both classes are analyzed in the same semantical domains. In particular it is shown that typed lambda- schemes are translatable into equivalent type-free lambda-schemes but not vice verse. Furthermore, it is proved that the class of type-free lambda- schemes is universal in the sense that in the initial models all recursively enumerable \(\Sigma\)-trees (where \(\Sigma\) is the set of operation symbols) are definable.
0 references
type theory
0 references
lambda-calculus
0 references
type-free programming concepts
0 references
typed lambda-schemes
0 references
formal semantics
0 references