A quantitative interpretation of Girard's System F (Q1107514)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4064957
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A quantitative interpretation of Girard's System F |
scientific article; zbMATH DE number 4064957 |
Statements
A quantitative interpretation of Girard's System F (English)
0 references
1988
0 references
The paper presents a quantitative model of Girard's system F of variable types. The model allows for counting multiplicities and no inner compatibility between the states is required. The quantitative lambda- structures provide a model which can also describe nondeterminism within the system of variable types.
0 references
quantitative interpretations
0 references
Girard's System F of variable types
0 references
quantitative lambda-structures
0 references
nondeterminism
0 references
0.7849147319793701
0 references
0.7122049331665039
0 references
0.7099997401237488
0 references
