Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega

Inductive-data-type systems

Theoretical Computer Science - Special issue on theories of types and proofs

Expanding the Cube

FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99

Modularity of strong normalization in the algebraic-λ-cube

Journal of Functional Programming

The Computability Path Ordering: The End of a Quest

CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic

RANK 2 INTERSECTION TYPE ASSIGNMENT IN TERM REWRITING SYSTEMS

Fundamenta Informaticae