Record Types and Subtyping in Type Theory, with Applications to the Theory of Programming (1997)

by Substitution