A constructive denotational semantics for Kahn networks in Coq (2007)

by Christine Paulin-mohring , Inria Futurs
Citations:6 - 1 self