Apomorphism
http://dbpedia.org/resource/Apomorphism an entity of type: Abstraction100002137
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.
rdf:langString
rdf:langString
Apomorphism
xsd:integer
12259689
xsd:integer
874224798
rdf:langString
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.
xsd:nonNegativeInteger
1313