Partial Types and Intervals (Q3474631)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partial Types and Intervals |
scientific article |
Statements
Partial Types and Intervals (English)
0 references
1990
0 references
inference system to assign partial types to terms of the untyped lambda calculus
0 references
modalities
0 references
soundness
0 references
completeness
0 references
interval semantics
0 references
