Bi-inductive Structural Semantics (Extended Abstract) (2007)

by Patrick Cousot , Radhia Cousot