morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard
verified publisher icon prathyvsh

Understand the implication of Knaster-Tarski Theorem

Open prathyvsh opened this issue 5 years ago • 0 comments

What are the links with abstract interpretation?

How is co-induction corresponding to greatest fixed point and induction corresponding to least fixed point figure in here? https://en.wikipedia.org/wiki/Knaster%E2%80%93Tarski_theorem

prathyvsh avatar Oct 01 '20 14:10 prathyvsh