Reduction and Unification in Lambda Calculi with Subtypes.

Tobias Nipkow, Zhenyu Qian

Browse the full CADE paper archive.