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 this page instead for the normal view: A quantitative interpretation of Girard's System F |
scientific article; zbMATH DE number 4064957
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
