Tarski's Fixed-Point Theorem And Lambda Calculi With Monotone Inductive Types.

Published in: Synth. (2002)

Keyphrases

fixed point
fixed point theorem
upper bound
machine learning
image processing
image segmentation
optimal solution
multiresolution
dynamic programming
natural images