We generalise the termination method of higher-order polynomial
interpre...
The "Concrete Semantics" book gives an introduction to imperative progra...
We introduce an infinitary rewriting semantics for strictly positive nes...
We present a new and formal coinductive proof of confluence and normalis...