On streams that are finitely red
Bezem, Marc
;
Nakata, Keiko
;
Uustalu, Tarmo
Logical methods in computer science
2012
/
p. 1-20
https://www.researchgate.net/publication/231582269_On_streams_that_are_finitely_red
A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusest
Veltri, Niccolo
2017
https://digi.lib.ttu.ee/i/?7631