Bi-inductive Structural Semantics (Extended Abstract)

by Patrick Cousot