OFFSET
0,1
REFERENCES
Keisuke Nakano, Shall We Juggle, Coinductively?, in Certified Programs and Proofs, Lecture Notes in Computer Science Volume 7679, 2012, pp 160-172, DOI 10.1007/978-3-642-35308-6_14.
CROSSREFS
KEYWORD
nonn
AUTHOR
N. J. A. Sloane, Jan 02 2013
STATUS
approved