La coinduction est la notion duale de l`induction structurelle. Les types définis par coinduction sont aussi connus comme codata et sont en général des structures de données infinie, tels que les flux. Trouvé sur https://fr.wikipedia.org/wiki/Coinduction
Aucun résultat n’a été trouvé dans l’encyclopédie.
La coinduction est la notion duale de l`induction structurelle. Les types définis par coinduction sont aussi connus comme codata et sont en général des structures de données infinie, tels que les flux.