Proving termination of (conditional) rewrite systems Eddy BeversJohan Lewi OriginalPaper Pages: 537 - 568
An algebraic semantics of higher-order types with subtypes Zhenyu Qian OriginalPaper Pages: 569 - 607