Apomorphism
In formal methods of computer science, an apomorphism (from ἀπό — Greek for "apart") is the categorical dual of a paramorphism and an extension of the concept of anamorphism (coinduction). Whereas a paramorphism models primitive recursion over an inductive data type, an apomorphism models primitive corecursion over a coinductive data type.
Link from a Wikipage to another Wikipage
primaryTopic
Apomorphism
In formal methods of computer science, an apomorphism (from ἀπό — Greek for "apart") is the categorical dual of a paramorphism and an extension of the concept of anamorphism (coinduction). Whereas a paramorphism models primitive recursion over an inductive data type, an apomorphism models primitive corecursion over a coinductive data type.
has abstract
In formal methods of computer ...... over a coinductive data type.
@en
Wikipage page ID
12,259,689
page length (characters) of wiki page
Wikipage revision ID
874,224,798
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
In formal methods of computer ...... over a coinductive data type.
@en
label
Apomorphism
@en