A quantitative interpretation of Girard's System F (Q1107514)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A quantitative interpretation of Girard's System F |
scientific article |
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
