A Normalizing Calculus with Overloading and Subtyping

@inproceedings{Tsuiki1994ANC,
  title={A Normalizing Calculus with Overloading and Subtyping},
  author={Hideki Tsuiki},
  booktitle={TACS},
  year={1994}
}