Coinduction

In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.

Coinduction is the mathematical dual to structural induction. Coinductively defined types are known as codata and are typically infinite data structures, such as streams.

单词	Coinduction
释义	Coinduction 英语百科 Coinduction In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects. Coinduction is the mathematical dual to structural induction. Coinductively defined types are known as codata and are typically infinite data structures, such as streams.
随便看	Opioid abuse Opioid analgesic Opioid Analgesics Opioid antagonist Opioid antagonists Opioid dependence Opioidergic Opioid induced mood disorder Opioid induced organic mental disorder Opioid induced psychotic disorder with delusions Opioid induced psychotic disorder with hallucinations Opioid induced sexual dysfunction Opioid induced sleep disorder Opioid intoxication Opioid intoxication delirium opioid ligand opioidlike Opioid peptide opioid peptide family Opioid Peptides opioid recdptor Opioid receptor Opioid receptor antagonist Opioid Receptor,delta Opioid Receptor,kappa