Learn More
We extend the framework of Pure Type Systems with sub-typing, as found in F !. This leads to a concise description of many existing systems with subtyping, and also to some new interesting systems.(More)