Inductive Definitions, Semantics and Abstract Interpretation.

Patrick Cousot, Radhia Cousot

Browse the full POPL paper archive.