A Final Coalgebra Theorem.

Peter Aczel Nax Paul Mendler

Published in: Category Theory and Computer Science (1989)

Keyphrases

von neumann
neural network
artificial intelligence
image segmentation
support vector
computational complexity
relational databases