Find link

language:

Find link is a tool written by Edward Betts.

searching for Initial algebra 6 found (23 total)

Semantics (computer science) (1,671 words) [view diff] exact match in snippet view article

A.; Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B. (1977). "Initial algebra semantics and continuous algebras". Journal of the ACM. 24 (1): 68–95

Apomorphism (122 words) [view diff] exact match in snippet view article find links to article

Apomorphisms (Corecursion). Morphism Morphisms of F-algebras From an initial algebra to an algebra: Catamorphism From a coalgebra to a final coalgebra:

Joseph Goguen (1,306 words) [view diff] exact match in snippet view article find links to article

Synthese 19 (3/4): 325–373 (1969). Goguen, J.A. and J.W. Thatcher. "Initial algebra semantics", in Proceedings, Fifteenth Symposium on Switching and Automata

Hylomorphism (computer science) (705 words) [view diff] exact match in snippet view article

summation of these leaf nodes. Morphism Morphisms of F-algebras From an initial algebra to an algebra: Catamorphism From a coalgebra to a final coalgebra:

Paramorphism (305 words) [view diff] exact match in snippet view article find links to article

b' (a, Left as) -> a : as Morphism Morphisms of F-algebras From an initial algebra to an algebra: Catamorphism From a coalgebra to a final coalgebra:

T.H. Tse (1,368 words) [view diff] case mismatch in snippet view article find links to article

Framework for Structured Analysis and Design Models: An Approach using Initial Algebra Semantics and Category Theory, Cambridge Tracts in Theoretical Computer