Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems.

Frdric Blanqui, Colin Riba

Browse the full LPAR paper archive.