Constructing Initial Algebras Using Inflationary Iteration.

Andrew M. Pitts S. C. Steenkamp

Published in: CoRR (2021)

Keyphrases

iterative process
spatial reasoning
neural network
real world
information systems
image segmentation
database systems
image sequences
expressive power
fixpoint
refinement process