Robuta

https://arxiv.org/abs/1008.2590 [1008.2590] Well-definedness of Streams by Transformation and Termination Abstract page for arXiv paper 1008.2590: Well-definedness of Streams by Transformation and Termination well streams transformation termination