Tuesday October 05, 2004, 14:00, Robert Recorde Room
Ulrich Berger
(
Swansea
)
A Semantic Strong Normalization Proof for Higher-Order Rewrite Systems
