1 Result(s)

Article

A proof of Moessner’s theorem by coinduction

We present a coinductive proof of Moessner’s theorem. This theorem describes the construction of the stream (1 ⁿ ,2 ⁿ ,3 ^{n ...}

M. Niqui, J. J. M. M. Rutten in Higher-Order and Symbolic Computation (2011)