EasyChair Smart Slide
The size-change principle and circular proofs: checking totality of (co)recursive definitions
The size-change principle and circular proofs: checking totality of (co)recursive definitions