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

by Christine Paulin-Mohring
Venue:In From Semantics to Computer Science: Essays in Honour of Gilles Kahn