Back to Search
Start Over
Approximation Theorems for Intersection Type Systems.
- Source :
- Journal of Logic & Computation; Jun2001, Vol. 11 Issue 3
- Publication Year :
- 2001
-
Abstract
- Proves that many intersection type theories of interest satisfy an Approximation theorem with respect to a suitable notion of approximant. Implication of a type for terms only through an existing approximant; Use of a Kripke version of suitable sets where bases correspond to words.
- Subjects :
- TYPE theory
APPROXIMATION theory
MATHEMATICAL models
Subjects
Details
- Language :
- English
- ISSN :
- 0955792X
- Volume :
- 11
- Issue :
- 3
- Database :
- Complementary Index
- Journal :
- Journal of Logic & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 4813540
- Full Text :
- https://doi.org/10.1093/logcom/11.3.395