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.
随便看	Black As Pitch的意思 black as soot的意思 black as Styx的意思 black as their hat的意思 black as thunder的意思 black as your hat的意思 Black Atlantic的意思 black atrophy的意思 black atrophy, atrophie noire的意思 black aurora的意思 black aurorae的意思 black auroras的意思 black austrian pine的意思 blackaviced的意思 blackavised的意思 Blackawton的意思 black azimuth mirror的意思 black b.的意思 Blackb.的意思 black babbling的意思 black babies的意思 blackback的意思 black backed gull的意思 blackbacked gull的意思 blackback flounder的意思