Shall we juggle, coinductively?

DOI10.1007/978-3-642-35308-6_14MaRDI QIDQ4916059zbMATH OpenOpenAlexWikidataFDO

Authors Keisuke Nakano

Publication date 19 April 2013

Published in Certified Programs and Proofs (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35308-6_14

Mathematics Subject Classification ID

Permutations, words, matrices (05A05) Bernoulli and Euler numbers and polynomials (11B68)

Recommendations

• Practical coinduction
• Circular coinduction: a proof theoretical foundation
• Coinduction All the Way Up
• Moessner's theorem: an exercise in coinductive reasoning in \textsc{Coq}
• Generalised coinduction

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Shall we juggle, coinductively?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4916059)