Approximation theorems for intersection type systems (Q2752528)
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: Approximation theorems for intersection type systems |
scientific article; zbMATH DE number 1661164
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Approximation theorems for intersection type systems |
scientific article; zbMATH DE number 1661164 |
Statements
5 May 2002
0 references
\(\lambda\)-calculus
0 references
intersection types
0 references
set-theoretical semantics of types
0 references
approximation theorem
0 references
0.8813315
0 references
0.87907827
0 references
0.8669472
0 references
0.8645357
0 references
0.86436474
0 references
0.8596688
0 references
0.85771734
0 references
0.8563982
0 references
Approximation theorems for intersection type systems (English)
0 references
