Page 3

Contents

1. Introduction
2. Quest rules
2.1 Terms
2.2 Judgments
2.3 Environments and variables
2.4 Equivalence and inclusion
2.5 Subsumption vs. coercion
2.6 Power kinds
2.7 Operator kinds
2.8 The kind of types
2.9 Formal system
2.10 Records and other encodings
3. PER and w-Set
3.1 Semantics of kinds and types
3.2 Inclusion and power kinds
3.3 Operator kinds
3.4 The kind of types
3.5 Records
4. Semantic interpretation of Questc
4.1 Interpretation
4.2 Emulating coercions by bounded quantification
5. Semantic interpretation of Quest
5.1 Preliminaries and structures
5.2 Interpretation
6. Conclusions
Acknowledgements
References