Type variables simplify sub-typing (2006)

by C B Jay
Venue:Higher-Order Rewriting, electronic proceedings